Check off the first of the campaigns goals
Created by: mrnugget
I think these can now be checked off. Yes, technically it wasn't a single engineer that made a change in two repositories, but since we do have something like a mono repo, that is not that easy.
What about the other goals? We did reach out to customers through https://github.com/sourcegraph/customer/issues/92 so how to we reflect those results in here?