| commit | 707a35f1a1730edb24858d4150eda3f5afe767e3 | [log] [tgz] |
|---|---|---|
| author | Tom Rini <trini@konsulko.com> | Mon Aug 07 09:20:53 2023 -0400 |
| committer | Tom Rini <trini@konsulko.com> | Mon Aug 07 13:41:38 2023 -0400 |
| tree | 0839eea4015787983a497b2bbcede31694b83f5a | |
| parent | 4cca2046bcd0a9c81da01508d3588ac088db70f3 [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>