Skip to content

Conversation

@akihironitta
Copy link
Contributor

@akihironitta akihironitta commented Jul 12, 2022

What does this PR do?

The bot removed the existing label in #13537, but I think it's not a preferred behaviour.

sync-labels
Whether or not to remove labels when matching files are reverted or no longer changed by the PR
https://github.com/actions/labeler

Does your PR introduce any breaking changes? If yes, please list them.

None

Before submitting

  • Was this discussed/approved via a GitHub issue? (not for typos and docs)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure your PR does only one thing, instead of bundling different changes together?
  • [n/a] Did you make sure to update the documentation with your changes? (if necessary)
  • [n/a] Did you write any new necessary tests? (not for typos and docs)
  • [n/a] Did you verify new and existing tests pass locally with your changes?
  • [n/a] Did you list all the breaking changes introduced by this pull request?
  • [n/a] Did you update the CHANGELOG? (not for typos, docs, test updates, or minor internal changes/refactors)

PR review

Anyone in the community is welcome to review the PR.
Before you start reviewing, make sure you have read the review guidelines. In short, see the following bullet-list:

  • Is this pull request ready for review? (if not, please submit in draft mode)
  • Check that all items from Before submitting are resolved
  • Make sure the title is self-explanatory and the description concisely explains the PR
  • Add labels and milestones (and optionally projects) to the PR so it can be classified

Did you have fun?

Make sure you had fun coding 🙃

cc @Borda @carmocca @akihironitta

@akihironitta akihironitta added the ci Continuous Integration label Jul 12, 2022
@akihironitta akihironitta added this to the pl:1.7 milestone Jul 12, 2022
@mergify mergify bot added the ready PRs ready to be merged label Jul 12, 2022
@mergify mergify bot requested a review from a team July 12, 2022 13:05
@lexierule lexierule merged commit 855a331 into master Jul 12, 2022
@lexierule lexierule deleted the ci/labeler-no-sync branch July 12, 2022 13:50
jerome-habana pushed a commit to jerome-habana/lightning that referenced this pull request Jul 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants