tell git explicitly  that  'default = matching' if action is 'git push' like before