mirror of
https://github.com/gsi-upm/senpy
synced 2024-09-28 00:41:43 +00:00
89f3a0eca9
a75ba69Merge branch 'meaningcloud' into 'master'919c4a0Update base.mk42224e3Updated makefiles from meaningcloudf0c211cPYVERSION changed24d85b1Merge branch 'meaningcloud' into 'master'd150321Updated makefiles from meaningcloud4f88009Merge branch 'senpy' into 'master'1f0703dFixed typo in .gitlab-cic23f798Trying to fix push to github git-subtree-dir: .makefiles git-subtree-split:a75ba6994d
29 lines
686 B
Makefile
29 lines
686 B
Makefile
commit:
|
|
git commit -a
|
|
|
|
tag:
|
|
git tag ${VERSION}
|
|
|
|
git-push::
|
|
git push --tags -u origin HEAD
|
|
|
|
git-pull:
|
|
git pull --all
|
|
|
|
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)")
|
|
@echo "$(GITHUB_DEPLOY_KEY)" > $(KEY_FILE)
|
|
@git remote rm github-deploy || true
|
|
git remote add github-deploy $(GITHUB_REPO)
|
|
-@GIT_SSH_COMMAND="ssh -i $(KEY_FILE)" git fetch github-deploy $(CI_COMMIT_REF_NAME)
|
|
@GIT_SSH_COMMAND="ssh -i $(KEY_FILE)" git push github-deploy HEAD:$(CI_COMMIT_REF_NAME)
|
|
rm $(KEY_FILE)
|
|
endif
|
|
|
|
push:: git-push
|
|
pull:: git-pull
|
|
|
|
.PHONY:: commit tag push git-push git-pull push-github
|