Use push.default matching for use with git <1.7.11