From 2940b522279821859e2f20c13392cb9233825816 Mon Sep 17 00:00:00 2001 From: Tom Rini Date: Mon, 7 Aug 2023 09:20:53 -0400 Subject: [PATCH] get_maintainer.pl: Add an ignore list for git history MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit 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 Reviewed-by: Michael Trimarchi --- .get_maintainer.ignore | 1 + .gitignore | 1 + 2 files changed, 2 insertions(+) create mode 100644 .get_maintainer.ignore diff --git a/.get_maintainer.ignore b/.get_maintainer.ignore new file mode 100644 index 0000000000..899a1469b2 --- /dev/null +++ b/.get_maintainer.ignore @@ -0,0 +1 @@ +"Pali Rohár" diff --git a/.gitignore b/.gitignore index 3a4d056edf..002f95de4f 100644 --- a/.gitignore +++ b/.gitignore @@ -53,6 +53,7 @@ fit-dtb.blob* # !.gitignore !.mailmap +!.get_maintainer.* # # Generated files -- 2.39.5