gitbox doesn't work with push.default=simple