Git issues with push.default now fixed