Skip to content

Pull requests: sourcegraph/about

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

Test commit
#3 by attfarhan was closed Oct 3, 2018 Loading… updated Oct 3, 2018
docs: use correct openidconnect redirect URI
#11 by ggilmore was merged Oct 5, 2018 Loading… updated Oct 5, 2018
1
Update server pings docs
#13 by dadlerj was merged Oct 5, 2018 Loading… updated Oct 5, 2018
Add gitlab docs
#16 by ijsnow was merged Oct 9, 2018 Loading… updated Oct 9, 2018
1
fix: rotate homepage asset
#18 by KattMingMing was merged Oct 9, 2018 Loading… updated Oct 9, 2018
docs: add docs about the private extension registry
#17 by chrismwendt was merged Oct 9, 2018 Loading… updated Oct 10, 2018
5
Release 2.12.0
#26 by attfarhan was merged Oct 15, 2018 Loading… updated Oct 15, 2018
8
Fix truncated character after version strings
#30 by dadlerj was merged Oct 17, 2018 Loading… updated Oct 17, 2018
1
Gatsby v2
#32 by attfarhan was merged Oct 18, 2018 Loading… updated Oct 18, 2018
format master plan as Markdown, remove rich HTML formatting
#10 by sqs was merged Oct 19, 2018 Loading… updated Oct 19, 2018
2
Remove docs
#33 by attfarhan was merged Oct 19, 2018 Loading… updated Oct 19, 2018
Move pages from website/data -> docs
#34 by attfarhan was merged Oct 19, 2018 Loading… updated Oct 19, 2018
Change remaining title case to sentence case, update docs links
#35 by attfarhan was merged Oct 19, 2018 Loading… updated Oct 19, 2018
link to friendlier new-subscription page instead of "Contact us"
#44 by sqs was merged Oct 24, 2018 Loading… updated Oct 24, 2018
2
Redirect root directory to sourcegraph.com/start
#50 by francisschmaltz was merged Oct 31, 2018 Loading… updated Oct 31, 2018
2
Announcing Sourcegraph 2.13
#52 by sqs was merged Nov 6, 2018 Loading… updated Nov 6, 2018
Explore page
#51 by sqs was closed Nov 6, 2018 Loading… updated Nov 6, 2018
1
Update changelog
#55 by dadlerj was merged Nov 8, 2018 Loading… updated Nov 8, 2018
Content update
#56 by ryan-blunden was closed Nov 14, 2018 Loading… updated Nov 14, 2018
1
Blog purchasing
#57 by dadlerj was merged Nov 15, 2018 Loading… updated Nov 15, 2018
Publish purchasing blog post
#61 by dadlerj was merged Nov 17, 2018 Loading… updated Nov 17, 2018
Planned unavailability of Java and PHP language servers on Sourcegraph.com
#64 by sqs was merged Nov 30, 2018 Loading… updated Nov 30, 2018
Update pricing page with Enterprise Starter volume discounts
#63 by dadlerj was merged Dec 3, 2018 Loading… updated Dec 3, 2018
3
Announcing Sourcegraph 3.0-preview
#49 by sqs was closed Dec 13, 2018 Loading… updated Dec 13, 2018
1
move changelog to live CHANGELOG.md file in repo
#71 by sqs was merged Jan 3, 2019 Loading… updated Jan 3, 2019
1
ProTip! Follow long discussions with comments:>50.