auto push_repos (05-23-14/22:31:38).