Explicitly make git push behaviour be 'simple'