runtimeverification/AutomergePR
Merge tracked PR w/ met requirements All Checks Pass, Review Approved,and Up-to-date.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| org | Organization name under which to run on | yes | — |
| repo | Repository name under Organization | yes | — |
| token | Access token to be able to write to the repository | yes | — |
| debug | Debug mode | no | "" |
| comment | Use Predefined comment | no | false |
Outputs
| name | description |
|---|---|
| merged | Whether or not the PR was merged |
| error | Error message if the PR was not merged |
| success | Success message if the PR was merged |