From 681762f8b44e9508e96772da07c8469d77142211 Mon Sep 17 00:00:00 2001 From: jonasbn Date: Thu, 6 Jun 2024 07:05:27 +0200 Subject: [PATCH] Minor annotation to the code --- scripts/build.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/build.pl b/scripts/build.pl index 7ce3a531..e401ba50 100755 --- a/scripts/build.pl +++ b/scripts/build.pl @@ -54,8 +54,8 @@ say 'git push --tags'; system 'git push --tags'; -# The tagging of the version number is a part of the release process, so not need -# to tag create this tag separately +# The tagging of the version number is a part of the release process, so not need +# to create this tag separately say 'Creating release on GitHub with auto generated release notes and discussion'; system "gh release create $version --discussion-category 'General' --generate-notes";