Remove pull request labels after close input

Input

Name: pull-request-remove-labels-after-close
Type: string[]
Default value: []

Description

This input will let you remove extra labels when the processing close the pull requests.
This can be useful if you wish to easily remove extra labels to improve your triage post-closing.

attention

The labels must be real labels, existing inside your repository list of labels (github.com/your-organization/your-repository/labels).
If not, the GitHub API will throw an error.

info

You can also add a comment to explain why it was closed by using the close comment input, add labels onto it by using the add labels after close input and define the number of days before closing it by using the days before close input.

Example

# ...
name: Stale
id: stale
uses: sonia-corporation/stale@latest
with:
  pull-request-remove-labels-after-close: |
    new author feedback
    closing soon!