Mirroring: Stop using 'git mirror'