Closed luckydye closed 2 months ago
Do we need to open a PR against zed repo to make this visible?
Sadly this is not visible anywhere in zed yet. Its just the Github link in the ui, which points to this repo directly. So should be fine for now.
Do we need to open a PR against zed repo to make this visible?