auto push_repos (05-16-14/17:16:50).