1
0
mirror of https://github.com/gsi-upm/senpy synced 2024-11-22 08:12:27 +00:00

Updated makefiles from gsictl

This commit is contained in:
J. Fernando Sánchez 2017-09-29 15:51:56 +02:00
parent a3a9414073
commit cbef9630b4

16
git.mk
View File

@ -4,19 +4,25 @@ commit:
tag: tag:
git tag ${VERSION} git tag ${VERSION}
push:: git-push::
git push --tags -u origin HEAD git push --tags -u origin HEAD
pull:: git-pull:
git pull --all git pull --all
push-github: ## Push the code to github. You need to set up HUB_USER and HUB_PASSWORD push-github: ## Push the code to github. You need to set up GITHUB_DEPLOY_KEY
ifeq ($(GITHUB_DEPLOY_KEY),)
else
$(eval KEY_FILE := $(shell mktemp)) $(eval KEY_FILE := $(shell mktemp))
@echo "$$GITHUB_DEPLOY_KEY" > $(KEY_FILE) @echo "$(GITHUB_DEPLOY_KEY)" > $(KEY_FILE)
@git remote rm github-deploy || true @git remote rm github-deploy || true
git remote add github-deploy $(GITHUB_REPO) git remote add github-deploy $(GITHUB_REPO)
@GIT_SSH_COMMAND="ssh -i $(KEY_FILE)" git fetch github-deploy $(CI_COMMIT_REF_NAME) || true @GIT_SSH_COMMAND="ssh -i $(KEY_FILE)" git fetch github-deploy $(CI_COMMIT_REF_NAME) || true
@GIT_SSH_COMMAND="ssh -i $(KEY_FILE)" git push github-deploy $(CI_COMMIT_REF_NAME) @GIT_SSH_COMMAND="ssh -i $(KEY_FILE)" git push github-deploy $(CI_COMMIT_REF_NAME)
rm $(KEY_FILE) rm $(KEY_FILE)
endif
.PHONY:: commit tag push push-github push:: git-push
pull:: git-pull
.PHONY:: commit tag push git-push git-pull push-github