auto push_repos (11-11-14/20:12:52).