auto push_repos (06-15-14/00:00:36).