auto push_repos (07-13-14/23:18:43).