add a push-to-remote dev-helper script