From 7149632d752c55e66c23870bce6d3f09b5da97bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Almeida?= <jm-almeida@live.com.pt>
Date: Mon, 4 May 2026 23:59:13 +0100
Subject: [PATCH] chore(release): drop verbose comment about direct-push
 rationale

---
 .github/workflows/release.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5dc9cfb812..0b793a9c1c 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -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