Improve repo mirroring script