auto push_repos (09-09-14/22:10:53).