From eb7234df51c947091bd9c86e7703be4cb432d6ad Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Sun, 16 Oct 2011 16:05:58 +0200
Subject: [PATCH] also publish to sourceforge

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 build | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build b/build
index 69f0ad92..9e9fbf21 100755
--- a/build
+++ b/build
@@ -114,6 +114,7 @@ case "$1" in
    p|pu|pub)
       git push --mirror
       git push --mirror github
+      git push --mirror sf
    ;;
 
    clean)