justindfuller/github-action-merged-as-administrator
Detect if a PR was merged as an administrator
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| GITHUB_TOKEN | The Github Token used to make API requests. | yes | — |
Outputs
| name | description |
|---|---|
| overridden | True if merged as administrator. False if not. |
| overridden_by | The Github Username that used administrator priveleges to merge a PR. |
| overridden_pr | The Github PR number that merged with administrator priveleges. |
| has_required_checks | True if all the required checks passed. |
| has_required_reviews | True if all the required reviews are present. |