Simplify PR merge step in publish workflow (#59)

Author: VictorB00

.github/workflows/publish.yaml

@@ -102,24 +102,11 @@ jobs:
 
           echo "Created PR: $PR_URL"
 
-          gh pr merge "$BRANCH_NAME" --auto --squash || gh pr merge "$BRANCH_NAME" --auto --merge
-
-          echo "Waiting for PR to be merged..."
-          for i in {1..60}; do
-            if gh pr view "$BRANCH_NAME" --json state --jq '.state' | grep -q "MERGED"; then
-              echo "PR merged successfully"
-
-              MERGE_SHA=$(gh pr view "$BRANCH_NAME" --json mergeCommit --jq '.mergeCommit.oid')
-              echo "merge_sha=$MERGE_SHA" >> "$GITHUB_OUTPUT"
-              echo "Merge commit: $MERGE_SHA"
-              break
-            fi
-            if [ $i -eq 60 ]; then
-              echo "ERROR: PR was not merged within 5 minutes" >&2
-              exit 1
-            fi
-            sleep 5
-          done
+          gh pr merge "$BRANCH_NAME" --squash || gh pr merge "$BRANCH_NAME" --merge
+
+          MERGE_SHA=$(gh pr view "$BRANCH_NAME" --json mergeCommit --jq '.mergeCommit.oid')
+          echo "merge_sha=$MERGE_SHA" >> "$GITHUB_OUTPUT"
+          echo "Merge commit: $MERGE_SHA"
 
       - name: Create tag and publish release
         env: