diff options
| author | Tom Rini <[email protected]> | 2023-08-07 09:20:53 -0400 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2023-08-07 13:41:38 -0400 |
| commit | 2940b522279821859e2f20c13392cb9233825816 (patch) | |
| tree | 0839eea4015787983a497b2bbcede31694b83f5a /.gitignore | |
| 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 <[email protected]>
Reviewed-by: Michael Trimarchi <[email protected]>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
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 |