diff --git a/Makefile b/Makefile
index 982b28bb..94edfbca 100644
--- a/Makefile
+++ b/Makefile
@@ -209,6 +209,10 @@ ifeq ($(CHANGELOG_LINES),0)
 	$(error Please insert the release notes in HISTORY.md before releasing)
 endif
 
+.PHONY: git-push
+git-push: ## Simply push the repository to github
+	git push
+
 .PHONY: check-release
 check-release: check-clean check-main check-history ## Check if the release can be made
 	@echo "A new release can be made"