Adopted the new git push.default.