Fix release script to also create a commit for version bump

PJK · Nov 14, 2021 · 3263254 · 3263254
1 parent 58b3319
commit 3263254
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/release.sh b/release.sh
@@ -65,7 +65,9 @@ ctest
 popd
 
 prompt "Will proceed to tag the release with $TAG_NAME."
+git commit -a -m "Release $TAG_NAME"
 git tag "$TAG_NAME"
+git push
 git push --tags
 
 set +x