Add number_force that overrides pull_request event

This commit is contained in:
Ross Williams 2026-02-04 13:27:32 +00:00 committed by marocchino
parent 14d4f1e429
commit e5362d0016
No known key found for this signature in database
GPG key ID: F54107506CCF18D0
3 changed files with 23 additions and 1 deletions

View file

@ -72,6 +72,9 @@ inputs:
number:
description: "pull request number for push event"
required: false
number_force:
description: "pull request number for any event"
required: false
owner:
description: "Another repo owner, If not set, the current repo owner is used by default. Note that when you trying changing a repo, be aware that GITHUB_TOKEN should also have permission for that repository."
required: false