auto push_repos (05-17-14/13:06:32).