Skip to content

docs(shared): hirnli adopted; hirnli and "revamp-info" are one repo, not two - #8

Merged
github-actions[bot] merged 1 commit into
mainfrom
docs/hirnli-revamp-info-same-repo
Aug 29, 2026
Merged

docs(shared): hirnli adopted; hirnli and "revamp-info" are one repo, not two#8
github-actions[bot] merged 1 commit into
mainfrom
docs/hirnli-revamp-info-same-repo

Commits

Commits on Aug 29, 2026