publishing more verbose

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
This commit is contained in:
Nico Schottelius 2012-05-14 18:32:45 +02:00
parent c1e1e7b8cb
commit b2c21e24a9

10
build
View file

@ -126,11 +126,11 @@ case "$1" in
rm -f latest && ln -sf "$version" latest"
;;
p|pu|pub)
git push --mirror
git push --mirror github
git push --mirror sf
git push --mirror ethz
p|pu|pub)
for remote in "" github sf ethz; do
echo "Pushing to $remote"
git push --mirror $remote
done
;;
clean)