auto push_repos (05-24-14/22:38:28).