set GIT push.default to legacy matching style