marimo-team
Support GitHub Copilot in conda-forge distribution
Description
As documented here, GitHub Copilot is not working if marimo is installed from conda-forge.
Suggested solution
The conda-forge distribution should also support GitHub Copilot.
Alternative
No alternatives.
Additional context
I am happy to provide assistance with this issue, however I would like to know what prevents marimo from providing this feature currently. Is it a package not available on conda-forge?
@ytausch if i recall correctly, this is because of licensing. and not a technical limitation
Found a trace here: https://github.com/conda-forge/marimo-feedstock/blob/main/recipe/build.sh
@ytausch , we'd love assistance. It is indeed because of licensing requirements from the conda forge maintainers. A workaround would be to have marimo download/install the files required for copilot at runtime if they are not available.
This is what RStudio appears to do, see screenshot:
If we switched to the recently published official GH Copilot LSP, this should satisfy the licensing requirement https://www.npmjs.com/package/@github/copilot-language-server