ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Makefile: update the push URL to point to orgmode.org repo

This commit is contained in:
Bastien Guerry 2011-01-09 19:02:15 +01:00
parent a41eaf4d7b
commit 672ff876a1
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@ -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