Add pull request labels after close input

Input

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

Description

This input will let you add extra labels when the processing close the pull requests.
This can be useful if you wish to easily add 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, remove labels onto it by using the remove 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-add-labels-after-close: |
    do not reopen
    please-create if needed