This script toggles a Git pre-push hook that will prevent pushing to
remotes other than dev when the harness is enabled.