番号 1 の PR の場合、GitHub は自動的に refrefs/pulls/1/headとを作成しrefs/pulls/1/mergeます。後者にはマージの結果が含まれており、CI などに特に役立ちます (テストしたいのは実際にはマージの結果であるため)。
PR をマージした後、refs/pulls/<number>/mergeは使用できなくなります (PR がマージできなくなったためだと思います)。現在、少し前にマージされたバージョンでテストを実行したいと考えています。PR番号だけを指定して、マージされたPRの結果にアクセスする簡単な方法はありますか?