Reverted to push.default = matching to work with previous git version.