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

Add high agency as a value of the company
#1603 by ElizabethStirling was merged Sep 24, 2020 Loading…
25 ❤️ 9
add Just Workplace entry to values
#1096 by shrouxm was closed Jun 26, 2020 Loading…
5 ❤️ 5
An open letter about root cause
#2962 by virginiaulrich was merged Apr 23, 2021 Loading…
14 ❤️ 5
Add blogpost: The home offices of Sourcegraph
#695 by mrnugget was merged Mar 27, 2020 Loading…
12 ❤️ 4
Updating company values
#1738 by christinaforney was merged Oct 16, 2020 Loading…
38 ❤️ 4
add "Customer ethics criteria"
#2233 by sqs was merged Jan 10, 2021 Loading…
❤️ 4
Personal update
#2217 by dadlerj was merged Dec 29, 2020 Loading…
1 ❤️ 4
Add bash style guide
#2178 by daxmc99 was merged Dec 15, 2020 Loading…
4 ❤️ 4
Document and update eng team structure and hiring plan
#1026 by nicksnyder was merged Jun 4, 2020 Loading…
1 task done
14 ❤️ 3
Add nonprofit discount info.
#1042 by aileenrose was merged Jun 9, 2020 Loading…
1 ❤️ 3
Add new onboarding process for web teammates
#1259 by lguychard was merged Jul 24, 2020 Loading…
12 ❤️ 3
Create release-3.29.md about-blog
#3263 by abschu was merged Jun 23, 2021 Loading…
@abschu
58 ❤️ 3
Define working groups
#3944 by malomarrec was merged Jul 30, 2021 Loading…
10 ❤️ 3
Bring handbook design more in line with our Brand Guidelines
#3896 by felixfbecker was merged Jul 30, 2021 Loading…
1 ❤️ 3
engineering: Add GCP projects overview
#1413 by pecigonzalo was merged Aug 28, 2020 Loading…
29 ❤️ 2
Distribution: add team logo, make us sound cool
#1560 by slimsag was merged Sep 11, 2020 Loading…
3 ❤️ 2
Add design team logo
#1672 by rrhyne was merged Oct 15, 2020 Loading…
4 ❤️ 2
Added Rok Novosel to the team page
#2182 by novoselrok was merged Dec 15, 2020 Loading…
1 ❤️ 2
Add back 'Request a demo' CTAs analytics team/growth-marketing
#5909 by bretthayes was merged Nov 10, 2022 Loading…
1
@bretthayes
5 ❤️ 2
How to create a license key
#402 by chrisdelane was merged Feb 6, 2020 Loading…
@dadlerj
6 ❤️ 1
Add command to access Jaeger to cheatsheet
#538 by unknwon was merged Feb 4, 2020 Loading…
4 ❤️ 1
Added the Yelp tweet to the home page
#303 by ryan-blunden was merged Nov 6, 2019 Loading…
@ryan-blunden
5 ❤️ 1
Edit Campaigns page and refine Vision/Mission
#628 by mrnugget was merged Mar 3, 2020 Loading…
1 ❤️ 1
Fix list format
#738 by unknwon was merged Apr 1, 2020 Loading…
❤️ 1
Add team locations.geojson file
#785 by mrnugget was merged Apr 23, 2020 Loading…
2 ❤️ 1
ProTip! Updated in the last three days: updated:>2024-06-30.