fix(nyxid-proxy): inject default User-Agent so GitHub doesn't 403#421

Merged

eanzhao merged 3 commits intodevfrom

fix/2026-04-25_proxy-default-user-agent

Apr 25, 2026

Commits on Apr 25, 2026

fix(nyxid-proxy): inject default User-Agent so GitHub doesn't 403

eanzhao
and
claude
committed
Remove Diagnostic[#417] logs now that #421 has the root cause

eanzhao
and
claude
committed
Address PR #421 review: fix hint-assertion case mismatch

eanzhao
and
claude
committed