You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We should rename this repo to something like grain-editor-plugins as the language server itself is hosted in the main grain repo. We should also probably move grain-lang/grain#238 from the main github repo here.
The text was updated successfully, but these errors were encountered:
spotandjake
changed the title
Rename Repo
Rename Repo to be more reflective of purpose.
Nov 26, 2024
We should rename this repo to something like
grain-editor-plugins
as the language server itself is hosted in the main grain repo. We should also probably move grain-lang/grain#238 from the main github repo here.The text was updated successfully, but these errors were encountered: