sync_redmine now knows what git repo names are