summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2023-02-25 23:07:32 -0500
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2023-02-25 23:10:59 -0500
commitcb0d8100b288b5b0d130820207db17764b7d2140 (patch)
tree3f508a5ebdd4e593c371a7684ab06cb5fa22769d
parenta7c7363a825e176ae25f5f69cacfff0880b23e80 (diff)
.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--.patman1
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