You can edit and delete a context that begins with a /
Actual behavior:
If you create a context that begins with a slash (or more than one slash), you can select it and search against it, but you cannot edit it or delete it.
There is slightly different behavior when it's a personal/org context vs global. But in both cases you cannot view, modify or delete the context.
Steps to reproduce:
//
(//app/main/core
)Reproduced on demo.sourcegraph.com
This has been reproduced on demo:
//app/main/core
contextExpected behavior:
You can edit and delete a context that begins with a
/
Actual behavior:
If you create a context that begins with a slash (or more than one slash), you can select it and search against it, but you cannot edit it or delete it.
There is slightly different behavior when it's a personal/org context vs global. But in both cases you cannot view, modify or delete the context.
Slack Discussion(s): https://sourcegraph.slack.com/archives/C01D50MSA7L/p1643335082052500 (From Customer )