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 /include/linux | |
| 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 'include/linux')
0 files changed, 0 insertions, 0 deletions