should also push head commits when making new version

This commit is contained in:
c9s 2021-12-08 19:58:22 +08:00
parent 7b290afc2a
commit 914b170204

View File

@ -130,6 +130,7 @@ version: pkg/version/version.go migrations
[[ -e doc/release/$(VERSION).md ]] || (echo "file doc/release/$(VERSION).md does not exist" ; exit 1)
git add -v doc/release/$(VERSION).md && git commit doc/release/$(VERSION).md -m "add release note" || true
git tag -f $(VERSION)
git push origin HEAD
git push origin $(VERSION)
migrations: