set git push.default to matching