also publish to sourceforge

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
14 years ago · eb7234df51
parent 69293efd00
commit eb7234df51
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -114,6 +114,7 @@ case "$1" in
   p|pu|pub)
      git push --mirror
      git push --mirror github
+      git push --mirror sf
   ;;

   clean)