Add push_demz_repos.sh