Add `external` label to issues and PRs created by external users

Compute release 2025-08-01 07:07 UTC #4083

Sign in to view logs

GitHub Actions / actionlint succeeded Aug 1, 2025 in 0s

reviewdog [actionlint] report

reported by reviewdog 🐶

Findings (0)

Filtered Findings (0)

View more details on GitHub Actions