opper-ai/pr-gatory
A merge queue for GitHub Actions. Label a PR, it rebases, waits for CI, and squash merges.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| github-token | GitHub token with repo permissions | yes | ${{ github.token }} |
| label | Label that triggers the merge queue | no | mergeme |
| poll-interval | Seconds between status check polls | no | 30 |
| timeout | Max seconds to wait for status checks | no | 1800 |
Outputs
| name | description |
|---|---|
| result | Result of the last PR processed: merged or failed |