Skip to content

Pull requests: sourcegraph/about

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

Reupload ai-platform white paper
#6345 by mrnugget was merged Jun 28, 2023 Loading…
2
whitepaper: reupload "how sourcegraph powers" whitepaper
#6322 by mrnugget was merged Jun 21, 2023 Loading…
1
release: sourcegraph@4.4.2
#5982 by mrnugget was merged Feb 1, 2023 Loading…
release: sourcegraph@4.4.1
#5963 by mrnugget was merged Jan 25, 2023 Loading…
Update launch time to 16:00 UTC
#5779 by mrnugget was closed Sep 27, 2022 Loading…
4
Fix wrong link to team member's bio
#4898 by mrnugget was merged Sep 30, 2021 Loading…
Add draft of 'how we built batch changes'
#2884 by mrnugget was merged Apr 15, 2021 Loading…
104
Add Samson to team page
#2850 by mrnugget was merged Mar 31, 2021 Loading…
2
Update Batch Changes landingpage screenshots
#2823 by mrnugget was merged Mar 25, 2021 Loading…
3
Move "Testing web code" to sourcegraph/sourcegraph, link to dev docs
#2669 by mrnugget was merged Mar 2, 2021 Loading…
1
Move practical development docs to sourcegraph/sourcegraph
#2569 by mrnugget was merged Feb 19, 2021 Loading…
3
Add 'aim to improve dev experience' to campaigns working agreements
#2561 by mrnugget was merged Feb 18, 2021 Loading…
3
Reorder the campaign sprint planning to look at product board and One Big Thing first
#2560 by mrnugget was merged Feb 19, 2021 Loading…
4
Show GitHub usernames on team page
#1679 by mrnugget was merged Oct 1, 2020 Loading…
2
Add Campaigñeros logo
#1592 by mrnugget was merged Sep 17, 2020 Loading…
1
Check off the first of the campaigns goals
#1574 by mrnugget was merged Sep 18, 2020 Loading…
Merge instructions on how to add your location
#1487 by mrnugget was closed Aug 31, 2020 Loading…
1
Add preferred pronouns
#989 by mrnugget was merged May 29, 2020 Loading…
1
Update campaigns OKRs for Q1 2020
#835 by mrnugget was merged Apr 29, 2020 Loading…
Add "conciously invest in tooling" as Core Services principle
#791 by mrnugget was merged Apr 20, 2020 Loading…
1
Add team locations.geojson file
#785 by mrnugget was merged Apr 23, 2020 Loading…
2
Update Campaigns OKRs for 2020 Q1
#736 by mrnugget was merged Apr 2, 2020 Loading…
5
Add blogpost: The home offices of Sourcegraph
#695 by mrnugget was merged Mar 27, 2020 Loading…
12
Fix broken formatting on Deployments page
#643 by mrnugget was merged Mar 5, 2020 Loading…
Edit Campaigns page and refine Vision/Mission
#628 by mrnugget was merged Mar 3, 2020 Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.