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

l0_flush: remove support for mode `page-cached` #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-user	2s
add-label	3s
	5s