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

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