diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-02-25 23:07:32 -0500 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-02-25 23:10:59 -0500 |
commit | cb0d8100b288b5b0d130820207db17764b7d2140 (patch) | |
tree | 3f508a5ebdd4e593c371a7684ab06cb5fa22769d | |
parent | a7c7363a825e176ae25f5f69cacfff0880b23e80 (diff) | |
download | guix-cb0d8100b288b5b0d130820207db17764b7d2140.tar.gz |
.patman: Ignore bad tags.
The feature is not used in Guix, and it produces extraneous warnings. * .patman (ignore_bad_tags): Set option to True.
-rw-r--r-- | .patman | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.patman b/.patman index 20c3362ac1..953bf72392 100644 --- a/.patman +++ b/.patman @@ -8,3 +8,4 @@ add_signoff: False get_maintainer_script: etc/teams.scm get-maintainer # TODO: enable check_patch check_patch: False +ignore_bad_tags: True |