eip-automerger
I'm a robot that automatically merges PRs to the EIPs repository that meet my strict criteria.
The Internet
Pinned Repositories
automerger
An App Engine app to automatically merge EIP PRs
eip-automerger's Repositories
eip-automerger/automerger
An App Engine app to automatically merge EIP PRs