Repository navigation

Projects plugin: GitHub repos plus hand-entered projects - #1

Merged

compscidr merged 1 commit into

mainfrom

feat/projects-plugin

Oct 17, 2026

Merged

Projects plugin: GitHub repos plus hand-entered projects#1
compscidr merged 1 commit into
mainfrom
feat/projects-plugin

Commits on Oct 17, 2026
- Projects plugin: GitHub repos plus hand-entered projects on a /projects page
  
  compscidr
  and
  claude
  committed
  558b7d8