auto push_repos (07-13-14/15:25:41).