Sign the git tag in release script (#10925)

2021-09-27 15:39:49 +01:00
parent f7768f62cb
commit d37841787a
2 changed files with 2 additions and 1 deletions
--- a/scripts-dev/release.py
+++ b/scripts-dev/release.py
@@ -276,7 +276,7 @@ def tag(gh_token: Optional[str]):
    if click.confirm("Edit text?", default=False):
        changes = click.edit(changes, require_save=False)

-    repo.create_tag(tag_name, message=changes)
+    repo.create_tag(tag_name, message=changes, sign=True)

    if not click.confirm("Push tag to GitHub?", default=True):
        print("")