Skip to content

Rename PR link label on top page#217

Merged
ootakazuhiko merged 1 commit into
mainfrom
codex/rename-pr-link-github-guide
Apr 2, 2026
Merged

Rename PR link label on top page#217
ootakazuhiko merged 1 commit into
mainfrom
codex/rename-pr-link-github-guide

Rename PR link label on top page

71e4656
Select commit
Loading
Failed to load commit list.