chore(release): drop verbose comment about direct-push rationale

2026-05-04 23:59:13 +01:00
parent 53c2e4503e
commit 7149632d75
1 changed files with 0 additions and 3 deletions
@@ -158,9 +158,6 @@ jobs:
          TAG: ${{ steps.compute.outputs.tag }}
        run: |
          set -euo pipefail
-          # Refresh from main right before pushing so a concurrent merge
-          # doesn't get clobbered. main has no branch protection, so we can
-          # commit + push directly without a PR-and-merge dance.
          git fetch origin main
          git checkout main
          git reset --hard origin/main