Skip to content

Conversation

@MichalStrehovsky
Copy link
Member

Cherry picking a change to source-index-stage1.yml from #97087.

Cherry picking a change to source-index-stage1.yml from #97087.
@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jan 19, 2024
@MichalStrehovsky MichalStrehovsky added area-Infrastructure and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Jan 19, 2024
@ghost
Copy link

ghost commented Jan 19, 2024

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

Issue Details

Cherry picking a change to source-index-stage1.yml from #97087.

Author: MichalStrehovsky
Assignees: MichalStrehovsky
Labels:

area-Infrastructure, needs-area-label

Milestone: -

@MichalStrehovsky
Copy link
Member Author

Actually, closing in favor of #97167. I just pushed a commit to fix the version number.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants