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

[release/5.0] Don't rev the platforms package unless we ship it #46688

Closed
wants to merge 1 commit into from

Conversation

ericstj
Copy link
Member

@ericstj ericstj commented Jan 7, 2021

We should technically pin more here, similar to #46447, but just doing the minimal in servicing to unblock #46598 and #46590

This is infra only change so should be mergeable on review.

@Dotnet-GitSync-Bot
Copy link
Collaborator

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

@ghost
Copy link

ghost commented Jan 7, 2021

Tagging subscribers to this area: @safern, @ViktorHofer
See info in area-owners.md if you want to be subscribed.

Issue Details

We should technically pin more here, similar to #46447, but just doing the minimal in servicing to unblock #46598 and #46590

This is infra only change so should be mergeable on review.

Author: ericstj
Assignees: -
Labels:

area-Infrastructure-libraries

Milestone: 5.0.x

@ericstj
Copy link
Member Author

ericstj commented Jan 7, 2021

Mono test failure is #43981

@ericstj
Copy link
Member Author

ericstj commented Jan 8, 2021

I think we should wait to merge this until @Anipik comes back. Branch is locked right now for 5.0.2 release.

@Anipik
Copy link
Contributor

Anipik commented Jan 12, 2021

I think we should wait to merge this until @Anipik comes back. Branch is locked right now for 5.0.2 release

Branch will be opened tomorrow for the new changes.

@Anipik
Copy link
Contributor

Anipik commented Jan 14, 2021

@ericstj can we close this one as this change is included in eventlog pr as well

@ericstj
Copy link
Member Author

ericstj commented Jan 14, 2021

Sure we can close this if we merged the other PRs which cherry-picked it.

@ericstj ericstj closed this Jan 14, 2021
@ghost ghost locked as resolved and limited conversation to collaborators Feb 14, 2021
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.

5 participants