Thanks, I've applied. Didn't know Sourcegraph is a remote company. BTW, I've used it on one of my projects before and it was really easy to set up and proved great for onboarding new developers, so thanks for developing it :)
Glad to hear it :) If you have any feedback we'd love to hear it, as well.
We went 100% all-remote at the start of the year, and historically over 50% of over our team has always been remote. This has been a really good boon for us as we started writing down and documenting even more of our processes, etc. in a handbook: https://about.sourcegraph.com/handbook