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

Proxy release 2024-12-26 #1532

Sign in to view logs

GitHub Actions / actionlint succeeded Dec 26, 2024 in 0s

reviewdog [actionlint] report

reported by reviewdog 🐶

Findings (0)

Filtered Findings (0)

View more details on GitHub Actions