diff options
author | Tom Rini | 2023-08-07 09:20:53 -0400 |
---|---|---|
committer | Tom Rini | 2023-08-07 13:41:38 -0400 |
commit | 2940b522279821859e2f20c13392cb9233825816 (patch) | |
tree | 0839eea4015787983a497b2bbcede31694b83f5a | |
parent | 60c95b1a26fecc4eb8efba7775533254a80fe354 (diff) |
get_maintainer.pl: Add an ignore list for git history
As Pali Rohár has asked to not be copied on changes to files he is not
a specific maintainer of, add his address to .get_maintainer.ignore.
Signed-off-by: Tom Rini <trini@konsulko.com>
Reviewed-by: Michael Trimarchi <michael@amarulasolutions.com>
-rw-r--r-- | .get_maintainer.ignore | 1 | ||||
-rw-r--r-- | .gitignore | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.get_maintainer.ignore b/.get_maintainer.ignore new file mode 100644 index 00000000000..899a1469b2a --- /dev/null +++ b/.get_maintainer.ignore @@ -0,0 +1 @@ +"Pali Rohár" <pali@kernel.org> diff --git a/.gitignore b/.gitignore index 3a4d056edfc..002f95de4fe 100644 --- a/.gitignore +++ b/.gitignore @@ -53,6 +53,7 @@ fit-dtb.blob* # !.gitignore !.mailmap +!.get_maintainer.* # # Generated files |