[Demo] fix bug
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: beyang
The purpose of this pull request is to demonstrate the Sourcegraph browser extension. Please do not merge or close.
Push commits to the source branch or add previously merged commits to review them.