Closed jrfnl closed 10 months ago
This is a quite straight-forward workflow to just remove some labels which should only be on open issues/open PRs and which should be removed once an issue or PR has been closed/merged.
Just attempting to reduce yet some more manual labour.
This is a quite straight-forward workflow to just remove some labels which should only be on open issues/open PRs and which should be removed once an issue or PR has been closed/merged.
Just attempting to reduce yet some more manual labour.