style 💎: Remove unnecessary blank line and ensure consistent formatting #25

Merged
Jose merged 4 commits from dev into main 2026-02-14 12:09:29 +01:00
Showing only changes of commit af107ca1ee - Show all commits

View File

@@ -180,7 +180,7 @@ jobs:
-d '{"labels":["ci-pass"]}' \
"$API/issues/$PR/labels"
fi
# Reopen PR if closed
PR_STATE=$(curl -s -H "Authorization: token $TOKEN" "$API/pulls/$PR" | jq -r '.state')
if [ "$PR_STATE" = "closed" ]; then
Review

[Lines 184-186] [Score: 2] The code reopens the pull request if it is closed. This might lead to unnecessary confusion and potential merge conflicts if the pull request was closed appropriately. It's generally better to have explicit human intervention before reopening closed pull requests.

[Lines 184-186] [Score: 2] The code reopens the pull request if it is closed. This might lead to unnecessary confusion and potential merge conflicts if the pull request was closed appropriately. It's generally better to have explicit human intervention before reopening closed pull requests.