revert git push.default configuration, doesn't seem to work on older git