From d37841787a9e152938ddb39af5bc1d93d04bc640 Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Mon, 27 Sep 2021 15:39:49 +0100 Subject: Sign the git tag in release script (#10925) --- scripts-dev/release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts-dev/release.py') diff --git a/scripts-dev/release.py b/scripts-dev/release.py index a339260c43..ab2d860ab8 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("") -- cgit 1.5.1