GitHub Auto-Merges EIP-Bot Prerequisites Within Minutes Not Exceptions

EIP-bot merges pull requests immediately if edits are made to existing drafts and build passes. Criteria must be met within minutes, no exceptions. Automatic merging occurs when specific conditions are fulfilled, including correct 'author' headers with matching GitHub username or email address. GitHub username or email on public profile also required for auto-merge eligibility rules apply.