git sanity: push.default=current