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

[IGNORE] Testing issue-labeler #82278

Closed
jeffhandley opened this issue Feb 17, 2023 · 2 comments
Closed

[IGNORE] Testing issue-labeler #82278

jeffhandley opened this issue Feb 17, 2023 · 2 comments

Comments

@jeffhandley
Copy link
Member

jeffhandley commented Feb 17, 2023

We just deployed an update from https://github.com/dotnet/issue-labeler and this repo needs to be tested since its configuration is going to change.

This issue should not result in any area label being automatically applied. As currently configured, that should result in the issue-labeler leaving a comment that no area label could be applied.

@ghost ghost added the untriaged New issue has not been triaged by the area owner label Feb 17, 2023
@jeffhandley jeffhandley changed the title [IGNORE] Testing issue-labeler Support DivRem intrinsincs in mono Feb 17, 2023
@dotnet dotnet deleted a comment Feb 17, 2023
@dotnet-issue-labeler
Copy link

I couldn't figure out the best area label to add to this issue. If you have write-permissions please help me learn by adding exactly one area label.

@dotnet-issue-labeler dotnet-issue-labeler bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Feb 17, 2023
@jeffhandley jeffhandley changed the title Support DivRem intrinsincs in mono [IGNORE] Testing issue-labeler Feb 17, 2023
@jeffhandley
Copy link
Member Author

This issue was successfully used to validate that:

  1. In the default configuration, a comment is added when an area label cannot be determined
  2. With a configuration setting of "no_area_determined_label" for the repository, the setting's value will be applied as a label, without a comment

@ghost ghost removed the untriaged New issue has not been triaged by the area owner label Feb 17, 2023
@ghost ghost locked as resolved and limited conversation to collaborators Mar 19, 2023
@jeffhandley jeffhandley added area-Meta and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Apr 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant