git: option not to update series on tags

Currently, when a new tag is sent on the mailing list, the series is
updated in the Git repository.

The push is done with '-o ci.skip', but this seems to be something
specific to GitLab. It has no effects with GitHub for example. Not to
waste resources on retesting everything and sending notifications once
a tag is shared, a new per-project option has been added:

  update_series_on_tags

Not to change the current behaviour, series will continue to be updated
on new tags by default, except if this option is explicitly disabled.

Signed-off-by: Matthieu Baerts (NGI0) <[email protected]>

Author: matttbe

Diff for: mods/git.py

@@ -87,6 +87,12 @@ class GitModule(PatchewModule):
                 desc="Publicly visible URL template for applied branch, where %t will be replaced by the applied tag name",
                 required=True,
             ),
+            schema.BooleanSchema(
+                "update_series_on_tags",
+                "Update series on new tags",
+                desc="Whether series are pushed (overriden) when new tags are sent on the mailing list, on by default",
+                default=True,
+            ),
         ],
     )
 
@@ -109,7 +115,10 @@ def mark_as_pending_apply(self, series, data={}):
         r.save()
 
     def on_tags_update(self, event, series, **params):
-        if series.is_complete:
+        config = self.get_project_config(series.project)
+        update_series_on_tags = config.get("update_series_on_tags", True)
+
+        if update_series_on_tags and series.is_complete:
             self.mark_as_pending_apply(
                 series,
                 {