Skip to content

Pull requests: sourcegraph/about

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

2020-Q1 OKRs
#422 by christinaforney was merged Feb 3, 2020 Loading…
Add precise code intel blog posts for 3.17 release
#1072 by efritz was merged Jun 18, 2020 Loading…
Sourcegraph 3.14 blog post
#678 by christinaforney was merged Mar 20, 2020 Loading…
3.8 release blog post
#273 by christinaforney was merged Sep 20, 2019 Loading…
2 of 3 tasks
Tracking issues page
#786 by tsenart was merged May 6, 2020 Loading… 3.16
handbook: Add commit message guidelines
#330 by ryanslade was merged Nov 18, 2019 Loading…
Add Rollout Process
#1178 by poojaj-tech was merged Aug 8, 2020 Loading…
Update master plan
#647 by sqs was merged Apr 20, 2020 Loading…
3.5 release notes blog post
#136 by christinaforney was merged Jun 21, 2019 Loading…
Add Brain Food section
#1424 by asdine was merged Aug 25, 2020 Loading…
Add automation page and form
#223 by ryan-blunden was merged Aug 22, 2019 Loading…
blog post: writing lsif exporter
#282 by uwedeportivo was merged Oct 14, 2019 Loading…
core: Update team page with some processes
#510 by tsenart was merged Jan 18, 2020 Loading…
Update style guide for OSS
#19 by francisschmaltz was merged Oct 16, 2018 Loading…
Add Continuous Releasability Contract
#438 by beyang was merged Jan 6, 2020 Loading…
Add page on Go testing tips/guidelines
#1060 by efritz was merged Jun 17, 2020 Loading…
3.3 blog post improvements
#109 by ryan-blunden was merged Apr 23, 2019 Loading…
Updating company direction with 2020 strategy
#754 by christinaforney was merged Apr 14, 2020 Loading…
Draft Engineering Project Lead role
#774 by tsenart was merged Apr 17, 2020 Loading…
Add a mission statement for Campaigns
#623 by mrnugget was merged Mar 3, 2020 Loading…
Add dan's name pronunciation
#814 by dadlerj was closed Aug 5, 2020 Loading…
Weekly updates from each engineering team
#1083 by nicksnyder was merged Jun 25, 2020 Loading…
Add Gonzalo Peci to Team page
#1107 by pecigonzalo was merged Jul 1, 2020 Loading…
Analytics additions
#365 by ebrodymoore was merged Nov 25, 2019 Loading…
ProTip! Follow long discussions with comments:>50.