GitHub で PR のマージキューがパブリックベータになりました。Pull request merge queue (public beta) | GitHub Changelog --> Information2023年7月12日にマージキューが GA になりました...