a pull request sits approved, mergeable, and untouched. the reviewer said yes. the code passed its checks. nobody pushed the button.