diff options
| author | Joe Mou <dev@mou.fo> | 2026-09-09 11:03:02 -0400 |
|---|---|---|
| committer | Joe Mou <dev@mou.fo> | 2026-09-09 14:39:57 -0400 |
| commit | 2788097c8df52b6fdc0775655c02138a824b979b (patch) | |
| tree | f54a43c854ae7549d3d1814b2a0a0388724eb7bd /public/static | |
| parent | 2e18169bdb622317980fb3c5ac35b247987c67c8 (diff) | |
Serve GitHub's global search when it names one repository
/search?q=repo:owner/name+...&type=code matched the /:owner route and
rendered a profile page for an owner named "search", which GitHub 404s.
It is the URL GitHub's own search box produces, so it arrives whenever a
search is redirected here.
A /search route now takes it: when the query carries a repo: qualifier
and a type, it strips the qualifier and redirects to that repository's
search route, which already maps issues and pull requests to pages we
render and hands the rest to GitHub. Searches that name no single
repository -- bare queries, org:/user: scopes, a missing type -- keep
redirecting to github.com/search as they did before.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GkGX6puS45xD5KzdV9tHEA
Diffstat (limited to 'public/static')
0 files changed, 0 insertions, 0 deletions