Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Advise issue filers to add venue: and topic: labels #66

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

othermaciej
Copy link

No description provided.

@othermaciej othermaciej added the meta For issues about this repo label Sep 25, 2022
@domenic
Copy link

domenic commented Sep 26, 2022

I believe only people with write access to the repository can add labels :(. (I can't edit labels on #54, for example.)

@annevk
Copy link
Contributor

annevk commented Sep 26, 2022

Indeed, we could make a triage team that's fairly large and includes people from the organizations that are likely to file issues, but we'd need different instructions for that.

@othermaciej
Copy link
Author

Oh that's annoying. I wish we could grant label access to anyone (or to a much broader group). Or maybe we could put a place for initial labels in the issue template and have some sort of automation do it?

@annevk
Copy link
Contributor

annevk commented Oct 7, 2022

A combination of https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/syntax-for-issue-forms and a bot might be a way to go. Perhaps a future version of that feature will have a way to take the output of part of the form and use it to set labels and assignees and such.

@gsnedders
Copy link
Member

see #27 re some bot

fwadnjar

This comment was marked as spam.

@WebKit WebKit deleted a comment May 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta For issues about this repo
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants