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