Updated value for push.default to make it work with older gits