script that sets up git push.default if simple is not a valid option