Repository navigation

add github source - #381

Merged

severo merged 12 commits into

Mar 18, 2026

Merged

add github source#381
severo merged 12 commits into
masterfrom
github-sources

Commits on Mar 17, 2026
- add github source
  severo
  committed
  13b4a80
- fetch branches
  severo
  committed
  309cc7c
- Potential fix for pull request finding
  
  severo
  and
  Copilot
  authored
  f604353
- Potential fix for pull request finding
  
  severo
  and
  Copilot
  authored
  380d885
- copilot comments
  severo
  committed
  c26014c
- support /raw/
  severo
  committed
  7895eb3
Commits on Mar 18, 2026
- fix test
  severo
  committed
  27b95e9
- assume the response has the correct type
  severo
  committed
  51faf34
- add a TODO
  severo
  committed
  b364346
- remove concept of directory prefix, remove default branch in github source
  severo
  committed
  d1fce01
- explicitly filter out branch names with slash
  severo
  committed
  d4bbb46
- use status text
  severo
  committed
  b1c51f8