mirror_repo work2mirror.py make workdir to mirror repo manifest.py make github projects mirror manifest