diff --git a/Makefile b/Makefile index 329c30d39..bc0752bbe 100644 --- a/Makefile +++ b/Makefile @@ -441,15 +441,15 @@ cleanrel: push: - git-push git+ssh://repo.or.cz/srv/git/org-mode.git master + git-push orgmode@orgmode.org:org-mode.git master pushtag: git-tag -m "Adding tag" -a $(TAG) - git-push git+ssh://repo.or.cz/srv/git/org-mode.git $(TAG) + git-push orgmode@orgmode.org:org-mode.git $(TAG) pushreleasetag: git-tag -m "Adding release tag" -a release_$(TAG) - git-push git+ssh://repo.or.cz/srv/git/org-mode.git release_$(TAG) + git-push orgmode@orgmode.org:org-mode.git release_$(TAG) # Dependencies