benlei/Find Merged Pull Request
Finds and gets details about the pull request that was merged for current commit
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| token | The GitHub token used to create an authenticated client | no | ${{ github.token }} |
| page-limit | The max number of closed pull request pages to search through. The default of 1 is usually enough. Set to 0 to search through, effectively, all pages. | no | 1 |
Outputs
| name | description |
|---|---|
| title | The title of the pull request |
| number | The number of the pull request |
| body | The body of the pull request |
| labels | The labels of the pull request, separated by commas |
| labels-json | The labels of the pull request as a JSON array |
| milestone | The milestone of the pull request |
| user | The user who opened the pull request |
| merged_by | The user who merged the pull request |
| assignees | The users who were assigned to the pull request |
| assignees-json | The users who were assigned to the pull request as a JSON array |