actions-marketplace-validations/Auto Merge EIP
A bot that lints EIP edits, finds common errors, and can auto-merge
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| GITHUB-TOKEN | The Github token to be used. This is optional because if it's not provided the bot will use a token from a brand new account not associated with any repositories and the key is gone | no | — |
| PR_NUMBER | The Pull Request number | no | — |
| CORE_EDITORS | a list of editors in the following format "@github_username,@..." to be mentioned for core eip changes | yes | — |
| ERC_EDITORS | a list of editors in the following format "@github_username,@..." to be mentioned for ERC type changes | yes | — |
| NETWORKING_EDITORS | a list of editors in the following format "@github_username,@..." to be mentioned for NETWORKING type changes | yes | — |
| INTERFACE_EDITORS | a list of editors in the following format "@github_username,@..." to be mentioned for INTERFACE type changes | yes | — |
| META_EDITORS | a list of editors in the following format "@github_username,@..." to be mentioned for META type changes | yes | — |
| INFORMATIONAL_EDITORS | a list of editors in the following format "@github_username,@..." to be mentioned for INFORMATIONAL type changes | yes | — |
| MAINTAINERS | a list of users or users or gorups in the following format "@github_username,@..."; these users will be called when the bot experiences an unexpected failure | yes | — |
Outputs
no outputs