Skip to content

Misc UI improvements: PR titles in OG tags, review page nits, tab sto…#78

Merged
stylessh merged 1 commit intomainfrom
styles/misc-changes-5
Apr 12, 2026
Merged

Misc UI improvements: PR titles in OG tags, review page nits, tab sto…#78
stylessh merged 1 commit intomainfrom
styles/misc-changes-5

Commits

Commits on Apr 12, 2026