Created by: felixfbecker
I see no "Open in Sourcegraph" button on our (public) repo:
Afaict it's configured correctly:
(but I get the red dot, not sure why)
This is in Safari.