GitHub AutoMerge Receives a webhook and verifies that all status checks are green. If so, the pull request is automatically merged.
