aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOgulcan Celik <ogulcancelik@gmail.com>2026-08-06 01:27:14 +0300
committerOgulcan Celik <ogulcancelik@gmail.com>2026-08-06 01:27:14 +0300
commit8b7cd9f067d93a19fb9baa0dcc61aead01be67c9 (patch)
tree21c67162ab194dd57c4d761aa13b27e38507546d
parent3e85f0e6a3fa21d2e83886a81cf36748d501dbf6 (diff)
fix(ci): repair contributor gate handling
-rw-r--r--.github/workflows/pr-gate.yml18
1 files changed, 11 insertions, 7 deletions
diff --git a/.github/workflows/pr-gate.yml b/.github/workflows/pr-gate.yml
index c59d9f14..92b4c09b 100644
--- a/.github/workflows/pr-gate.yml
+++ b/.github/workflows/pr-gate.yml
@@ -2,7 +2,7 @@ name: PR Gate
on:
pull_request_target:
- types: [opened, closed, reopened, synchronize]
+ types: [opened, closed, reopened]
concurrency:
group: pr-gate-${{ github.event.pull_request.number }}
@@ -120,12 +120,16 @@ jobs:
async function removeReviewLabel() {
if (!(await currentLabels()).has(REVIEW_LABEL)) return;
- await github.rest.issues.removeLabelForIssue({
- owner: context.repo.owner,
- repo: context.repo.repo,
- issue_number: pullNumber,
- name: REVIEW_LABEL,
- });
+ try {
+ await github.request('DELETE /repos/{owner}/{repo}/issues/{issue_number}/labels/{name}', {
+ owner: context.repo.owner,
+ repo: context.repo.repo,
+ issue_number: pullNumber,
+ name: REVIEW_LABEL,
+ });
+ } catch (error) {
+ if (error.status !== 404) throw error;
+ }
}
async function upsertGateComment(message) {