fix update-community-prs.yaml

2026-04-23 11:36:35 +02:00 · 2026-02-13 11:52:53 -05:00
parent 6f6b65780a
commit 17098ae39a
1 changed files with 0 additions and 1 deletions
@@ -70,7 +70,6 @@ jobs:
              echo "  Merge conflict in PR #$pr_number, adding comment"
              gh pr comment "$pr_number" --body $'⚠️ **Merge Conflict**\n\nAnother community submission was merged and this PR has conflicts.\n\nA maintainer may need to:\n1. Close this PR\n2. Remove the `approved` label from the original issue\n3. Re-add the `approved` label to regenerate the PR'
              git merge --abort
-              fi
            fi
            
            git checkout main