new version of git-mirror uses fetch/merge and has a quite option for cron scripts.
[infrastructure.git] / migration_scripts /
drwxr-xr-x   ..
-rwxr-xr-x 4302 Migration.py