Suppress git push warnings by making the default push 'simple'