Skip to content

Conversation

carlossanlop
Copy link
Contributor

Backport of #114165

Tell mode.

There are some on pull_request_target types in the label checking yml files that I removed but they are actually necessary, so the labeler keeps working after for example: pushing new commits, pressing the update the branch, closing and opening the PR.

@carlossanlop carlossanlop added Servicing-approved Approved for servicing release area-Infrastructure labels Apr 2, 2025
@carlossanlop carlossanlop self-assigned this Apr 2, 2025
@Copilot Copilot AI review requested due to automatic review settings April 2, 2025 18:45
@carlossanlop carlossanlop requested review from jeffhandley and a team as code owners April 2, 2025 18:45
Copy link
Contributor

@Copilot 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 is a backport to reinstate necessary event types for pull request label checking in GitHub workflows.

  • Adds "edited" and "synchronize" event triggers in check-service-labels.yml.
  • Updates check-no-merge-label.yml similarly to ensure the labeler continues to work with updated PR events.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
.github/workflows/check-service-labels.yml Added "edited" and "synchronize" event types for enhanced PR event handling.
.github/workflows/check-no-merge-label.yml Added "edited" and "synchronize" event types to maintain consistency in PR label checking.

Copy link
Contributor

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

@carlossanlop carlossanlop merged commit 6303a6c into dotnet:release/9.0-staging Apr 2, 2025
19 checks passed
@carlossanlop carlossanlop deleted the LabelCheckingTypes9 branch April 2, 2025 20:21
@github-actions github-actions bot locked and limited conversation to collaborators May 3, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-Infrastructure Servicing-approved Approved for servicing release
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants