just kidding (#7241)

Release Notes: - N/A
2024-02-01 11:57:09 -07:00
parent 7b9d51929d
commit 0897c8eebd
1 changed files with 3 additions and 3 deletions
@@ -16,6 +16,6 @@ if [ "$branch" != "main" ]; then
  exit 1
 fi

-echo git pull --ff-only origin main
-echo git tag -f $tag
-echo git push -f origin $tag
+git pull --ff-only origin main
+git tag -f $tag
+git push -f origin $tag