auto push_repos (05-18-14/12:10:38).