branch master updated: .patman: Ignore bad tags.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

apteryx pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new cb0d8100b2 .patman: Ignore bad tags.
cb0d8100b2 is described below

commit cb0d8100b288b5b0d130820207db17764b7d2140
Author: Maxim Cournoyer <maxim.cournoyer@gmail.com>
AuthorDate: Sat Feb 25 23:07:32 2023 -0500

    .patman: Ignore bad tags.
    
    The feature is not used in Guix, and it produces extraneous warnings.
    
    * .patman (ignore_bad_tags): Set option to True.
---
 .patman | 1 +
 1 file changed, 1 insertion(+)

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