💬 Add Discord to search footer - Githubissues

sourcegraph / community

Issue tracker for the community team at Sourcegraph

0 stars 0 forks source link

💬 Add Discord to search footer #29

Closed jdorfman closed 2 years ago

jdorfman commented 2 years ago

08-18-2022

Posted in Progress

08-17-2022

Hot potato
Robert PR: https://github.com/sourcegraph/sourcegraph/pull/40507
Finally passed (2 PR's later)

08-12-2022