add git mirrors

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
Nico Schottelius 2011-03-16 11:38:05 +01:00
commit 39739835fa
2 changed files with 6 additions and 0 deletions

View file

@ -92,3 +92,4 @@ web:
pub:
git push --mirror
git push --mirror github