From fafd50254c5423b84c6806a79e325a6dbe67ba9a Mon Sep 17 00:00:00 2001 From: Andrew Montanez Date: Mon, 13 May 2024 12:33:19 -0500 Subject: [PATCH] Adding target to Makefile for pushing to git --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) 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"