+mirror
Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
This commit is contained in:
parent
78bdbce700
commit
9e4b3d2325
1 changed files with 1 additions and 0 deletions
1
build
1
build
|
@ -130,6 +130,7 @@ case "$1" in
|
||||||
git push --mirror
|
git push --mirror
|
||||||
git push --mirror github
|
git push --mirror github
|
||||||
git push --mirror sf
|
git push --mirror sf
|
||||||
|
git push --mirror ethz
|
||||||
;;
|
;;
|
||||||
|
|
||||||
clean)
|
clean)
|
||||||
|
|
Loading…
Reference in a new issue