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

Fix the configuration source gen diagnostic message #94881

Merged
merged 1 commit into from
Nov 16, 2023

Conversation

tarekgh
Copy link
Member

@tarekgh tarekgh commented Nov 16, 2023

@tarekgh tarekgh requested a review from jeffhandley as a code owner November 16, 2023 22:35
@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 Nov 16, 2023
@ghost ghost assigned tarekgh Nov 16, 2023
@tarekgh
Copy link
Member Author

tarekgh commented Nov 16, 2023

CC @JamesNK

@ghost
Copy link

ghost commented Nov 16, 2023

Tagging subscribers to this area: @dotnet/area-extensions-configuration
See info in area-owners.md if you want to be subscribed.

Issue Details

#94826

Author: tarekgh
Assignees: tarekgh
Labels:

area-Extensions-Configuration, needs-area-label

Milestone: -

@tarekgh tarekgh added source-generator Indicates an issue with a source generator feature and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Nov 16, 2023
@tarekgh tarekgh added this to the 9.0.0 milestone Nov 16, 2023
@tarekgh tarekgh merged commit 45978bd into dotnet:main Nov 16, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Dec 17, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-Extensions-Configuration source-generator Indicates an issue with a source generator feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants