add git push.default (matching)