Skip to content

Pull requests: sourcegraph/docs

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

PR checks: keep a findings/remediated table in the status comment
#2018 opened Sep 22, 2026 by marcleblanc2 Contributor Loading…
Simplify the mobile docs header
#2017 opened Sep 18, 2026 by enriquegh Contributor Loading…
docs: trim archived technical changelog
#2015 opened Sep 18, 2026 by enriquegh Contributor Loading…
cleanup: drop docs/integration/img, fix GitLab integration gif
#2013 opened Sep 18, 2026 by marcleblanc2 Contributor Loading…
docs: refresh the documentation landing page
#1984 opened Sep 17, 2026 by enriquegh Contributor Loading…
fix: do not prefetch external sidebar links
#1978 opened Sep 17, 2026 by marcleblanc2 Contributor Draft
🤖 Sync generated docs from sourcegraph/sourcegraph
#1971 opened Sep 16, 2026 by sourcegraph-buildkite Collaborator Loading…
Add dev/TODO.md with Vercel audit tasks
#1951 opened Sep 11, 2026 by marcleblanc2 Contributor Draft
ProTip! Follow long discussions with comments:>50.