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.

Sign up for GitHub

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

Jump to bottom

Follow up items for Options validation source generator #87844

Closed
2 tasks done
tarekgh opened this issue Jun 20, 2023 · 3 comments
Closed
2 tasks done

Follow up items for Options validation source generator #87844

tarekgh opened this issue Jun 20, 2023 · 3 comments
Assignees
@tarekgh
Labels
area-Extensions-Options source-generator Indicates an issue with a source generator feature
Milestone
9.0.0

Comments

@tarekgh
Copy link
Member

tarekgh commented Jun 20, 2023 •
edited by ericstj
Loading

This issue is tracking the follow up tasks we need to do options source gen.

#85475
@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 Jun 20, 2023
@ghost ghost added the untriaged New issue has not been triaged by the area owner label Jun 20, 2023
@tarekgh tarekgh added area-Extensions-Options and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Jun 20, 2023
@ghost
Copy link

ghost commented Jun 20, 2023

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

Issue Details

This issue is tracking the follow up tasks we need to do options source gen.

#85475

Author: tarekgh
Assignees: -
Labels:

untriaged, area-Extensions-Options
Milestone: -

@tarekgh tarekgh added this to the 8.0.0 milestone Jun 20, 2023
@ghost ghost removed the untriaged New issue has not been triaged by the area owner label Jun 20, 2023
@tarekgh tarekgh self-assigned this Jun 20, 2023
@xakep139
Copy link
Contributor

xakep139 commented Jun 28, 2023 •
edited by tarekgh
Loading

@tarekgh I created two issues: #88152 and #88150, not sure that these should be considered as follow-up items for this one

@tarekgh tarekgh mentioned this issue Aug 9, 2023
Merged
@tarekgh tarekgh modified the milestones: 8.0.0, 9.0.0 Aug 10, 2023
@tarekgh tarekgh added the source-generator Indicates an issue with a source generator feature label Oct 10, 2023
@ericstj
Copy link
Member

ericstj commented Aug 6, 2024

All linked issues here were resolved.

@ericstj ericstj closed this as completed Aug 6, 2024
@github-actions github-actions bot locked and limited conversation to collaborators Sep 7, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@tarekgh tarekgh

Labels
area-Extensions-Options source-generator Indicates an issue with a source generator feature
Projects
None yet
Milestone
9.0.0
Development

No branches or pull requests
3 participants
@xakep139 @ericstj @tarekgh