Skip to content

[release/10.0.1xx] Remove sourcelink SharedRepositoryReference#3074

Merged
ViktorHofer merged 1 commit intorelease/10.0.1xxfrom
backport/pr-3073-to-release/10.0.1xx
Oct 24, 2025
Merged

[release/10.0.1xx] Remove sourcelink SharedRepositoryReference#3074
ViktorHofer merged 1 commit intorelease/10.0.1xxfrom
backport/pr-3073-to-release/10.0.1xx

Conversation

@github-actions
Copy link
Contributor

Backport of #3073 to release/10.0.1xx

/cc @ViktorHofer

Sourcelink follows the feature band model and will have release/10.0.xxx branches
@ViktorHofer
Copy link
Member

ViktorHofer commented Oct 24, 2025

Tell-mode to make sure we are consistent between 1xx and 2xx

@ViktorHofer ViktorHofer merged commit e598823 into release/10.0.1xx Oct 24, 2025
10 checks passed
@ViktorHofer ViktorHofer deleted the backport/pr-3073-to-release/10.0.1xx branch October 24, 2025 13:05
This was referenced Dec 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants