From a880d97bb8a108afb6ad470324283b378f45caa1 Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Mon, 27 Sep 2021 14:40:40 +0100 Subject: [PATCH 1/2] Sign the git tag in release script --- scripts-dev/release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts-dev/release.py b/scripts-dev/release.py index a339260c4371..ab2d860ab8bd 100755 --- 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("") From d8639f2bed63cd7bb48544bcc4d4c638a1439677 Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Mon, 27 Sep 2021 14:43:12 +0100 Subject: [PATCH 2/2] Newsfile --- changelog.d/10925.misc | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/10925.misc diff --git a/changelog.d/10925.misc b/changelog.d/10925.misc new file mode 100644 index 000000000000..0c8027ecc29f --- /dev/null +++ b/changelog.d/10925.misc @@ -0,0 +1 @@ +Update release script to sign the newly created git tags.