git: setting both push and pull defaults to 'matching'