Skip to content

Pull requests: sourcegraph/about

New pull request New
Clear current search query, filters, and sorts
21 Open 5,422 Closed
21 Open 5,422 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

docs: use correct openidconnect redirect URI
#11 by ggilmore was merged Oct 5, 2018 Loading…
1
Update server pings docs
#13 by dadlerj was merged Oct 5, 2018 Loading…
redirect about.sourcegraph.com to sourcegraph.com
#12 by vanesa was closed Nov 6, 2018 Loading…
projects: Search Roadmap
#8 by keegancsmith was closed Apr 16, 2019 Loading…
1
format master plan as Markdown, remove rich HTML formatting
#10 by sqs was merged Oct 19, 2018 Loading…
2
Add Francis' and Ryan's face to careers page
#24 by francisschmaltz was merged Oct 18, 2018 Loading…
6
Simpler browser extension options menu
#46 by sqs was closed Nov 8, 2019 Loading…
1
link to friendlier new-subscription page instead of "Contact us"
#44 by sqs was merged Oct 24, 2018 Loading…
2
Announcing Sourcegraph 3.0-preview
#49 by sqs was closed Dec 13, 2018 Loading…
1
Redirect root directory to sourcegraph.com/start
#50 by francisschmaltz was merged Oct 31, 2018 Loading…
2
Configure Renovate (round 2)
#2 by renovate bot was merged May 6, 2020 Loading…
2
Test commit
#3 by attfarhan was closed Oct 3, 2018 Loading…
Add about.sourcegraph.com
#1 by attfarhan was merged Oct 3, 2018 Loading…
Update pricing page with Enterprise Starter volume discounts
#63 by dadlerj was merged Dec 3, 2018 Loading…
3
Planned unavailability of Java and PHP language servers on Sourcegraph.com
#64 by sqs was merged Nov 30, 2018 Loading…
Update changelog
#55 by dadlerj was merged Nov 8, 2018 Loading…
Blog purchasing
#57 by dadlerj was merged Nov 15, 2018 Loading…
Content update
#56 by ryan-blunden was closed Nov 14, 2018 Loading…
1
Publish purchasing blog post
#61 by dadlerj was merged Nov 17, 2018 Loading…
WIP: Add new, separated terms of service for dotcom and self-hosted instances
#65 by dadlerj was closed May 2, 2019 Loading…
1
Update pricing page
#66 by francisschmaltz was closed Jan 3, 2019 Loading…
9
Remove mention of Enterprise Starter in style guide
#77 by dadlerj was merged Jan 17, 2019 Loading…
fix format of redirects file
#78 by sqs was merged Jan 21, 2019 Loading…
1
Update pricing page header to be sticky
#74 by francisschmaltz was merged Jan 7, 2019 Loading…
3.0 beta
#75 by sqs was merged Jan 15, 2019 Loading…
11
ProTip! Mix and match filters to narrow down what you’re looking for.