change git push.default from matching to simple