make push_git_repo clean up after itself