auto push_repos (05-23-14/20:49:38).