Is this the same as having git configure to `push.default=current`?