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

[infra/notes] impr: add issue types to issue templates #1308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-user	1s
add-label	0s
	1s