Add missing git push

This commit is contained in:
David Dworken 2022-04-08 23:08:53 -07:00
parent 3190d23fc3
commit 223d14b6a2

View File

@ -6,6 +6,7 @@ release:
git tag v0.`cat VERSION`
git add VERSION
git commit -m "Bump hishtory version"
git push
git push --tags
build-static: