From 57dc53fbf50ce2cb3fe2594da7c870fae3576304 Mon Sep 17 00:00:00 2001 From: Samuel Newman Date: Tue, 30 Jun 2026 23:19:24 +0300 Subject: [PATCH] Add "fingerprint changed" label to PRs with native changes (#10742) Co-authored-by: Claude Opus 4.8 (1M context) --- .github/workflows/pull-request-commit.yml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/.github/workflows/pull-request-commit.yml b/.github/workflows/pull-request-commit.yml index a726ca1be7..cb30fc3924 100644 --- a/.github/workflows/pull-request-commit.yml +++ b/.github/workflows/pull-request-commit.yml @@ -162,3 +162,17 @@ jobs: with: header: fingerprint-diff delete: true + + - name: 🏷️ Label as fingerprint changed + if: ${{ steps.fingerprint.outputs.includes-changes }} + env: + GH_TOKEN: ${{ github.token }} + PR_NUMBER: ${{ github.event.pull_request.number }} + run: gh pr edit "$PR_NUMBER" --add-label "bot: fingerprint changed" || true + + - name: 🏷️ Remove fingerprint changed label + if: ${{ !steps.fingerprint.outputs.includes-changes }} + env: + GH_TOKEN: ${{ github.token }} + PR_NUMBER: ${{ github.event.pull_request.number }} + run: gh pr edit "$PR_NUMBER" --remove-label "bot: fingerprint changed" || true