diff --git a/Makefile.release b/Makefile.release index 4069eb08..8fb748e8 100644 --- a/Makefile.release +++ b/Makefile.release @@ -49,3 +49,4 @@ commit: push: @echo Pushing release $(VERSION) to master git push --tags + git push