Skip to content

Conversation

@dibarbet
Copy link
Member

@dibarbet dibarbet commented Jan 7, 2025

We're winding down the forward merging of PRs (announcement soon) in favor of manual backporting. This github action is stolen borrowed from the dotnet/runtime backport action.

@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Jan 7, 2025
@dibarbet dibarbet marked this pull request as ready for review January 7, 2025 23:02
@dibarbet dibarbet requested a review from a team as a code owner January 7, 2025 23:02
@jaredpar jaredpar merged commit a8897eb into dotnet:main Jan 7, 2025
5 checks passed
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Jan 7, 2025
@dibarbet

This comment was marked as outdated.

1 similar comment
@jaredpar
Copy link
Member

jaredpar commented Jan 7, 2025

/backport to release/dev17.13

@github-actions
Copy link
Contributor

github-actions bot commented Jan 7, 2025

Started backporting to release/dev17.13: https://github.com/dotnet/roslyn/actions/runs/12660970799

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

Labels

Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants