From 21afe74f0254560bdb343eddaff0f7dab79b5053 Mon Sep 17 00:00:00 2001
From: Carsten Dominik <dominik@nb-dominik2.science.uva.nl>
Date: Thu, 31 Jan 2008 16:21:27 +0100
Subject: [PATCH] Fix the push command in the Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index bce80aed9..686d163e2 100644
--- a/Makefile
+++ b/Makefile
@@ -238,4 +238,4 @@ clean:
 
 
 push:
-	git+ssh://repo.or.cz/svr/git/org-mode.git master
\ No newline at end of file
+	git-push git+ssh://repo.or.cz/srv/git/org-mode.git master
\ No newline at end of file