mirror of
https://github.com/stan220/flathub.git
synced 2026-09-08 17:28:57 +00:00
pr-check: Don't post domain comment if pr is marked as blocked
This commit is contained in:
@@ -169,6 +169,7 @@ jobs:
|
||||
echo "BLOCKED is set to $BLOCKED"
|
||||
|
||||
if [ "$BLOCKED" -eq 0 ]; then
|
||||
if ! label_exists_any "blocked"; then
|
||||
DOMAIN=$(curl -sSL "$DOMAIN_SCRIPT_URL" | python3 - "$PR_TITLE")
|
||||
if [ -n "$DOMAIN" ] && [ "$DOMAIN" != "None" ]; then
|
||||
echo "Domain is: $DOMAIN"
|
||||
@@ -180,6 +181,7 @@ jobs:
|
||||
gh pr comment "$PR_NUM" --body "$DOMAIN_COMMENT"
|
||||
fi
|
||||
fi
|
||||
fi
|
||||
if label_exists_any "pr-check-blocked"; then
|
||||
echo "Removing pr-check-blocked label"
|
||||
gh pr edit "$PR_NUM" --remove-label "pr-check-blocked" || true
|
||||
|
||||
Reference in New Issue
Block a user