push.sh

   1 #!/bin/sh
   2 #
   3 # sourceforge ssh do not accept $HOME/.ssh/environment: since git
   4 # is not installed over there in the default PATH, let's just sync the
   5 # local repository content. Ideally, we should pay attention writing
   6 # the files in the proper order (HEAD last, etc.), but the developpers
   7 # are not numerous enough for this to be a big issue right now.
   8 #
   9 #
  10 rsync -avz --delete-after .git/ \
  11     sf:/home/groups/a/ad/adesklets/htdocs/adesklets.git