Update git push.default to current (like simple, but compatible with older git
versions).