GIT: change push default to  "matching"