29bdb9 Make fork more performant by using 'git push --mirror'

2 files Authored by Slavek Kabrda 5 years ago , Committed by pingou 5 years ago ,