once again setting git push default behaviour to 'matching'