chore: skip Claude PR labeling for bot pull requests (#32372)

This commit is contained in:
andig 2026-08-01 12:19:20 +02:00 • committed by GitHub
parent 41cb4d04b1
commit 52ea5e9bb8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -29,7 +29,9 @@ jobs:
pr-label:
name: PR labeling
if: github.event_name == 'pull_request_target'
# bot PRs (dependabot etc.) are skipped: the action rejects non-human actors
# unless allowlisted, and bots already label their own PRs
if: github.event_name == 'pull_request_target' && github.event.pull_request.user.type != 'Bot'
runs-on: ubuntu-latest
permissions:
contents: read # read base repo for area classification