Ignore any pull request milestones input

Input

Name: pull-request-ignore-any-milestones
Type: string[]
Default value: []

Description

This input will let you ignore the processing of the pull requests which have at least one of the milestone from this list.
This can be useful when you use milestones for triage.

Example

# ...
name: Stale
id: stale
uses: sonia-corporation/stale@latest
with:
  pull-request-ignore-any-milestones: |
    milestone-x
    milestone-y