add github source - #381

Merged

severo merged 12 commits into

Mar 18, 2026

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