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