GitHub Bot Begins Automerger Process on ERC-7425 Pull Requests Instantly

GitHub bot merges some PRs automatically if edits only affect existing draft PRs, build passes, and author's username or email is in the 'author' header. Criteria matches exact email address from GitHub profile for PRs with duplicate emails. Bot immediately merges qualified pull requests without manual review, allowing faster EIP development process efficiency boost is claimed by proponents.