gamer025/RequestReviewFromUser
Github action requesting reviews from users for PRs.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| owner | The owner, for example: "dotnet". Assign from `github.repository_owner`. | yes | ${{ github.repository_owner }} |
| name | The repository name, for example: "samples". Assign from `github.repository`. | yes | ${{ github.repository }} |
| token | Github secret token. Assign from `github.token`. | yes | ${{ github.token }} |
| ID | ID of the PR to process. Assign from `github.event.pull_request.number`. | yes | ${{ github.event.pull_request.number }} |
| separator | Separator to use if multiple users are input. | no | — |
| users | User(s) to request review from. | yes | — |
| alwaysRequestAll | Request review from all provided users, even if they got previously removed from review by a maintainer. | no | false |
Outputs
no outputs