Skip to content

Mergify: remove stale label when PR is merged #14321

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Mar 2, 2021
Merged

Mergify: remove stale label when PR is merged #14321

merged 1 commit into from
Mar 2, 2021

Conversation

0xc0170
Copy link
Contributor

@0xc0170 0xc0170 commented Feb 22, 2021

Summary of changes

I've noticed stale label was still present for some merged PR. We should remove it automatically for merged PRs.

Impact of changes

Migration actions required

Documentation

Pull request type 

[x] Patch update (Bug fix / Target update / Docs update / Test update / Refactor)
[] Feature update (New feature / Functionality change / New API)
[] Major update (Breaking change E.g. Return code change / API behaviour change)

Test results 

[x] No Tests required for this change (E.g docs only update)
[] Covered by existing mbed-os tests (Greentea or Unittest)
[] Tests / results supplied as part of this PR

Reviewers

@0xc0170 0xc0170 requested a review from harmut01 February 22, 2021 15:59
@ciarmcom ciarmcom added the release-type: patch Indentifies a PR as containing just a patch label Feb 22, 2021
@ciarmcom
Copy link
Member

@0xc0170, thank you for your changes.
@ARMmbed/mbed-os-maintainers please review.

@ciarmcom ciarmcom requested a review from a team February 22, 2021 16:00
@0xc0170
Copy link
Contributor Author

0xc0170 commented Feb 22, 2021

CI started

@ciarmcom ciarmcom added the stale Stale Pull Request label Feb 26, 2021
@ciarmcom
Copy link
Member

This pull request has automatically been marked as stale because it has had no recent activity. , please complete review of the changes to move the PR forward. Thank you for your contributions.

@0xc0170
Copy link
Contributor Author

0xc0170 commented Mar 2, 2021

CI started

@0xc0170 0xc0170 merged commit 71de6e2 into master Mar 2, 2021
@0xc0170 0xc0170 deleted the 0xc0170-fix-removing-stale-label branch March 2, 2021 16:47
@mergify mergify bot removed the ready for merge label Mar 2, 2021
@mbedmain mbedmain added release-version: 6.9.0 Release-pending and removed release-type: patch Indentifies a PR as containing just a patch Release-pending labels Mar 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@harmut01 harmut01 harmut01 approved these changes

Assignees
No one assigned
Labels
release-version: 6.9.0
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@0xc0170 @ciarmcom @harmut01 @mbedmain