auto push_repos (09-09-14/22:12:26).