Better git-clean-origin-branches script
Additional alias for Git: push-to-all