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

proxy: expose session_id to clients #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-user	6s
add-label	2s
	8s