auto push_repos (05-21-14/22:16:56).