From 94c27d4fced7657ab17e3c4004d1fdcb6b449904 Mon Sep 17 00:00:00 2001 From: Samuel Newman Date: Fri, 5 Jun 2026 14:14:56 +0300 Subject: [PATCH] add fingerprint changed label to prs with native changes 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 976fa35662..645383c38c 100644 --- a/.github/workflows/pull-request-commit.yml +++ b/.github/workflows/pull-request-commit.yml @@ -156,3 +156,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" + + - 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