auto push_repos (11-28-14/17:31:30).