GitHub・プルリク・間接のマージ・2026年10月27日に確認

GitHub：マージしていないプルリクがマージ済みになった

プルリクの head のブランチのコミットが、そのプルリクの外で対象のブランチから届くようになると、プルリクはマージ済みになることがあります。同じコミットが別のプルリクでマージされたときや、既定のブランチへ直接 push されたときに起きます（GitHub の説明「プルリクのマージ」・2026年10月27日に確認）。間接にマージされたプルリクは、そのプルリクのブランチの保護のルールを満たしていなくても、マージ済みになります。

commits merged via another pull request     marked merged
commits pushed to the default branch        marked merged
branch protection on this pull request      not satisfied: still merged
GET /repos/{owner}/{repo}/pulls/{pull_number}/merge
                                            204 merged | 404 not merged

起きる理由

別のプルリク：同じコミットが別のプルリクでマージされ、対象のブランチに入りました。
直接の push：コミットがプルリクを通さず、既定のブランチへそのまま push されました。
ルールは見られていない：間接のマージはそのプルリクを通らないので、そのプルリクのブランチの保護のルールは満たされていなくてもかまいません。GitHub は、間接のマージはまれだが、自動の処理やブランチの保護の前提に響くことがある、と書いています。

直す所

コミットがどこから入ったかを探す：コミットの SHA と is:merged で検索します。0eff326d6213c is:merged は、SHA が 0eff326d6213c で始まるコミットを持つマージ済みのプルリクに当たります（GitHub の説明「issue とプルリクを検索する」）。
REST API で確かめる：GET /repos/{owner}/{repo}/pulls/{pull_number}/merge は、プルリクが対象のブランチにマージされたかを確かめます。マージ済みなら 204、そうでなければ 404 で、本文は空です（GitHub の説明「Check if a pull request has been merged」）。プルリク自体にも merged と merged_by があります。
マージ済みをレビュー済みと読まない：マージ済みのプルリクで動く自動の処理は、間接にマージされたプルリクもマージ済みとして見ます。そのプルリクのブランチの保護のルールは満たされていないかもしれません。
マージしていない物を並べる：is:unmerged は、開いているか、マージされずに閉じられたプルリクに当たります（GitHub の説明「issue とプルリクを検索する」）。
直接の push を止める：ルールセットの Require a pull request before merging は、対象のブランチへの変更をすべてプルリクにひも付けることを求めます。プルリクは承認されていなくてもよいが、開かれている必要があります（GitHub の説明「ルールセットで使えるルール」）。

IntelliJ IDEA で GitHub のプルリクを見るなら

Lesstep の Pull Request Inbox for GitHub は、JetBrains IDE（2024.1 以降）のプラグインです。プルリクのレビュー・チェック・会話を差分の隣に出し、対象のブランチが許す方法でマージします。GitHub が返す開いたプルリクを並べ、マージ済みかどうかも GitHub から取るので、間接にマージされたプルリクは次に読み込んだときに一覧から消え、詳細を読み込み直すとチェックに「プルリクエストはマージ済みです」と出ます。受信箱・差分・会話は無料、承認・コメント・解決・マージは Pro（月 US$1.50・30日間の無料試用つき）です。画面は日本語です。

GitHub は GitHub, Inc. の商標、IntelliJ IDEA は JetBrains s.r.o. の商標です。このページは GitHub, Inc.・JetBrains のいずれとも提携しておらず、承認も受けていません。