Actually push commits

2022-10-10 22:03:07 -05:00
parent b12902183d
commit 494afed4ae
1 changed files with 1 additions and 0 deletions
--- a/release.sh
+++ b/release.sh
@ -3,6 +3,7 @@ set -x

 TOKEN=$(< token.txt)
 EDITOR=nano git commit -a
+git push

 COMMIT=$(git log | head -n 1 | cut -d' ' -f2)
 echo $COMMIT