Skip to content

Copy over community-contribution label from closing PR to issue#37989

Merged
roji merged 2 commits into
dotnet:mainfrom
roji:CommunityLabel
Mar 24, 2026
Merged

Copy over community-contribution label from closing PR to issue#37989
roji merged 2 commits into
dotnet:mainfrom
roji:CommunityLabel

Conversation

@roji
Copy link
Copy Markdown
Member

@roji roji commented Mar 24, 2026

No description provided.

@roji roji requested a review from a team as a code owner March 24, 2026 18:34
Copilot AI review requested due to automatic review settings March 24, 2026 18:34
@roji roji enabled auto-merge (squash) March 24, 2026 18:34
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the issue labeling automation workflow to propagate the community-contribution label from a merged PR to any issues it closes, alongside the existing preview/RC labeling behavior.

Changes:

  • Collect labels to apply into a single list (labelsToApply) rather than applying only the version label.
  • If the merged PR has the community-contribution label, also apply that label to each closing issue.
  • Update label-application logging/error messages to refer to multiple labels.

Comment thread .github/workflows/label-and-milestone-issues.yml
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@roji roji merged commit 7f484b1 into dotnet:main Mar 24, 2026
10 checks passed
@roji roji deleted the CommunityLabel branch March 24, 2026 19:46
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.

3 participants