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

Update to May Servicing #14706

Open
wants to merge 2 commits into
base: release/8.0
Choose a base branch
from
Open

Update to May Servicing #14706

wants to merge 2 commits into from

Conversation

mmitche
Copy link
Member

@mmitche mmitche commented Apr 9, 2024

To double check:

@ViktorHofer
Copy link
Member

@mmitche did you want to merge this?

@mmitche
Copy link
Member Author

mmitche commented Apr 23, 2024

It needs source-build attention due to sourcelink changes.

@ViktorHofer
Copy link
Member

ViktorHofer commented Apr 23, 2024

I remember what this is about. This got fixed in main with cd27fcf. We worked around this in main by setting RepositoryUrl: 89008f3

That workaround isn't great though as I would need to be set in all consuming repos.

@mmitche mmitche changed the title Update to April Servicing Update to May Servicing May 14, 2024
@ViktorHofer
Copy link
Member

This still needs the source-build workaround that I mentioned above at least here but probably also in various consuming repositories.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants