Permalink
Browse files

do not push to ethz

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
  • Loading branch information...
1 parent fbda50d commit acb31b2632778e1dc2eaf32fbf9d2bc5cf8d4da6 Nico Schottelius committed Dec 19, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 build
View
@@ -349,7 +349,7 @@ eof
;;
p|pu|pub)
- for remote in "" github sf ethz; do
+ for remote in "" github sf; do
echo "Pushing to $remote"
git push --mirror $remote
done

0 comments on commit acb31b2

Please sign in to comment.