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