benbentwo/Is Merged Pull Request
Sets an output variable `isMerged` to true if the commit fired from a push event is from a merged pull request
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| commit-sha | Sha to check | no | ${{github.sha}} |
| git-repository | Repository to check | no | ${{github.repository}} |
| git-user | git username to use on query | yes | — |
| git-token | api token to query with | yes | — |
| dump | enables dump of json | no | false |
Outputs
| name | description |
|---|---|
| isMerged | is the commit merged? |
| dump | json dump of the payload, requires dump enabled ("true") |