mirror of https://github.com/FreeTubeApp/FreeTube
Remove stale label when PR gets closed by stale workflow or when PR gets merged (#2819)
* Update remove-outdated-labels.yml * fix merge edge case
This commit is contained in:
parent
c8a9ae0d2c
commit
7a2d4ade43
|
@ -19,6 +19,7 @@ jobs:
|
|||
PR: changes requested
|
||||
PR: merge conflicts / rebase needed
|
||||
PR/Issue: dependent
|
||||
PR: stale
|
||||
|
||||
remove-closed-pr-labels:
|
||||
name: Remove closed pull request labels
|
||||
|
@ -33,4 +34,5 @@ jobs:
|
|||
PR: WIP
|
||||
PR: changes requested
|
||||
PR: merge conflicts / rebase needed
|
||||
PR/Issue: dependent
|
||||
PR/Issue: dependent
|
||||
PR: stale
|
||||
|
|
Loading…
Reference in New Issue