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