-
Notifications
You must be signed in to change notification settings - Fork 169
Pull requests: sourcegraph/about
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
blogpost: Optimizing the code intelligence commit graph
#2431
by efritz
was merged May 26, 2021
Loading…
add page for repo data on dot com, how to add repos to index
#1711
by rvantonder
was closed Oct 7, 2020
Loading…
Make it clear that budgets are not hard; increase desk setup total; add special design budget
#2016
by dadlerj
was merged Nov 18, 2020
Loading…
Workspaces of Sourcegraph blogpost
about-blog
#2527
by christinaforney
was merged Mar 16, 2021
Loading…
Sneak peek: API documentation generated for all your code
about-blog
#3815
by rebeccadee
was merged Jul 22, 2021
Loading…
Convert Brand Guidelines from PDF to Markdown
#4835
by felixfbecker
was merged Sep 28, 2021
Loading…
SGM-6484 - Solve tweets display issue on homepage
gitstart
#6485
by gitstart-app
bot
was closed Oct 6, 2023
•
Draft
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.