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

Add about.sourcegraph.com
#1 by attfarhan was merged Oct 3, 2018 Loading…
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…
server:latest -> server:CURRENT_VERSION everywhere
#4 by dadlerj was merged Oct 4, 2018 Loading…
7
docs: emphasize that port 80 needs to be reachable for lets encrypt
#5 by ggilmore was merged Oct 5, 2018 Loading…
6
projects: Search Roadmap
#8 by keegancsmith was closed Apr 16, 2019 Loading…
1
Fix pricing discrepancies
#9 by francisschmaltz was merged Oct 4, 2018 Loading…
5
format master plan as Markdown, remove rich HTML formatting
#10 by sqs was merged Oct 19, 2018 Loading…
2
docs: use correct openidconnect redirect URI
#11 by ggilmore was merged Oct 5, 2018 Loading…
1
redirect about.sourcegraph.com to sourcegraph.com
#12 by vanesa was closed Nov 6, 2018 Loading…
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…
Add gitlab docs
#16 by ijsnow was merged Oct 9, 2018 Loading…
1
docs: add docs about the private extension registry
#17 by chrismwendt was merged Oct 9, 2018 Loading…
5
fix: rotate homepage asset
#18 by KattMingMing was merged Oct 9, 2018 Loading…
Update style guide for OSS
#19 by francisschmaltz was merged Oct 16, 2018 Loading…
@francisschmaltz
19
Add Francis' and Ryan's face to careers page
#24 by francisschmaltz was merged Oct 18, 2018 Loading…
6
Release 2.12.0
#26 by attfarhan was merged Oct 15, 2018 Loading…
8
docs: update Sourcegraph extension docs
#28 by chrismwendt was merged Oct 16, 2018 Loading…
5
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…
Gatsby v2
#32 by attfarhan was merged Oct 18, 2018 Loading…
Remove docs
#33 by attfarhan was merged Oct 19, 2018 Loading…
Move pages from website/data -> docs
#34 by attfarhan was merged Oct 19, 2018 Loading…
Change remaining title case to sentence case, update docs links
#35 by attfarhan was merged Oct 19, 2018 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.