Skip to content

Pull requests: sourcegraph/about

New pull request New
Clear current search query, filters, and sorts
27 Open 6,295 Closed
27 Open 6,295 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Remove handbook
#4923 by felixfbecker was merged Oct 1, 2021 Loading…
1 😄 2
LSIF Indexing Campaign
#838 by shrouxm was merged Apr 29, 2020 Loading…
😄 1
add link to Google's blog
#308 by nicksnyder was merged Nov 11, 2019 Loading…
2 😄 1
Adding Virginia to team index
#2072 by virginiaulrich was merged Nov 30, 2020 Loading…
5 😄 1
Add Campaigñeros logo
#1592 by mrnugget was merged Sep 17, 2020 Loading…
1 😄 1
Fix typo of MIT graduate
#544 by mrnugget was merged Feb 5, 2020 Loading…
😄 1
add Robert Lin
#925 by bobheadxi was merged May 11, 2020 Loading…
😄 1
Added section about our private Slack channel
#1513 by chrispine was merged Sep 3, 2020 Loading…
3 😄 1
blog: How Not to Break a Search Engine about-blog
#3446 by rvantonder was merged Jun 25, 2021 Loading…
@rvantonder
32 😄 1
Be a good human
#1822 by nicksnyder was merged Oct 22, 2020 Loading…
4 😄 1
docs: emphasize that port 80 needs to be reachable for lets encrypt
#5 by ggilmore was merged Oct 5, 2018 Loading…
6
Update server pings docs
#13 by dadlerj was merged Oct 5, 2018 Loading…
Add notice and docs on Sourcegraph's true-up pricing model
#15 by dadlerj was merged Oct 8, 2018 Loading…
fix: rotate homepage asset
#18 by KattMingMing was merged Oct 9, 2018 Loading…
docs: add docs about the private extension registry
#17 by chrismwendt was merged Oct 9, 2018 Loading…
5
docs: update Sourcegraph extension docs
#28 by chrismwendt was merged Oct 16, 2018 Loading…
5
Update style guide for OSS
#19 by francisschmaltz was merged Oct 16, 2018 Loading…
@francisschmaltz
19
Fix truncated character after version strings
#30 by dadlerj was merged Oct 17, 2018 Loading…
1
Add redirects to docs.sourcegraph.com
#31 by attfarhan was merged Oct 18, 2018 Loading…
Explore page
#51 by sqs was closed Nov 6, 2018 Loading…
1
Update cody-vscode-1-24 with new GIF
#7051 by iskyOS was merged Jun 27, 2024 Loading…
1
Change remaining title case to sentence case, update docs links
#35 by attfarhan was merged Oct 19, 2018 Loading…
link to friendlier new-subscription page instead of "Contact us"
#44 by sqs was merged Oct 24, 2018 Loading…
2
Announcing Sourcegraph 2.13
#52 by sqs was merged Nov 6, 2018 Loading…
Respecting repository permissions from your code host
#47 by sqs was merged Nov 2, 2018 Loading…
@beyang
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.