Manage issues

add note to help menu: explain why one needs to login to allow committing #73

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
label_issues	3s
Add issue to project	2s
	5s