mirror of
https://github.com/MariaDB/server.git
synced 2026-10-23 18:49:29 +03:00
MDEV-38546: Automatically label incoming pull requests
Do not print a bogus error line gh command line can return non-zero status even when it actually sets a label. So, as a result, daily runs of the scheduled task would print a bogus error line, even if the label is applied successfully. Fixed by removing the error status line and the counter.
This commit is contained in:
8
.github/workflows/label_recent_prs.yaml
vendored
8
.github/workflows/label_recent_prs.yaml
vendored
@@ -22,7 +22,6 @@ jobs:
|
||||
run: |
|
||||
REPO=MariaDB/server
|
||||
set -euo pipefail
|
||||
nfailed=0
|
||||
|
||||
# List first 200 PRs lacking classification labels as JSON
|
||||
gh pr list \
|
||||
@@ -73,10 +72,7 @@ jobs:
|
||||
|
||||
echo "Applying label [$label] to PR#[$pr_number] by [$author]"
|
||||
|
||||
if gh issue edit "$pr_number" \
|
||||
gh issue edit "$pr_number" \
|
||||
--repo "$REPO" \
|
||||
--add-label "$label"; then
|
||||
echo "**FAILED applying label [$label] to PR#[$pr_number] by [$author]"
|
||||
nfailed=$((nfailed + 1))
|
||||
fi
|
||||
--add-label "$label"
|
||||
done
|
||||
|
||||
Reference in New Issue
Block a user