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