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

2 files Authored by bkabrda 5 years ago, Committed by pingou 5 years ago,