Git's push.default set to "simple"