diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/debian/Makefile b/debian/Makefile index ff588e2..416b1c5 100644 --- a/debian/Makefile +++ b/debian/Makefile @@ -45,7 +45,11 @@ changelog: dch .PHONY: tag tag: - cd -- '$(call escape,$(root))' && gbp buildpackage --git-tag-only + gbp tag + +.PHONY: push +push: + env GIT_SSH_COMMAND='ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no' gbp push .PHONY: src/test src/test: |
