From 23a53e8ec9c5ad475c95107c17028e1de4bdddca Mon Sep 17 00:00:00 2001
From:  <sylvain@sylvain.(none)>
Date: Tue, 23 Aug 2005 01:49:22 -0400
Subject: [PATCH] Adding push.sh

---
 push.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 push.sh

diff --git a/push.sh b/push.sh
new file mode 100755
index 0000000..3b8517f
--- /dev/null
+++ b/push.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+#
+# sourceforge ssh do not accept $HOME/.ssh/environment: since git
+# is not installed over there in the default PATH, let's just sync the 
+# local repository content. Ideally, we should pay attention writing 
+# the files in the proper order (HEAD last, etc.), but the developpers
+# are not numerous enough for this to be a big issue right now.
+#
+#
+rsync -avz --delete-after .git/ \
+    sf:/home/groups/a/ad/adesklets/htdocs/adesklets.git
-- 
2.11.4.GIT