Get help from the marimo community

Updated 3 months ago

GitHub Copilot unable to connect

At a glance

The community member is having trouble connecting to GitHub as a provider in their settings. They have installed the latest version of the software with pip and have Node.js installed, but are still unable to connect. The community members in the comments suggest checking the network logs, either by running the software with the -d tag or by looking in the browser's developer tools, but no explicit answer is provided.

In settings, when I try to use github as a provider, it just says unable to connect. I have installed the latest version with pip and also have node.js installed. Can someone please help? I am running marimo on a remote server with either VSCode and port forwarding.
Attachment
image.png
M
t
A
3 comments
Anything in the network logs?
This is the log after running marimo with -d tag. Please let me know if there is another way to get the network log. But I don't see any failure message for the copilot server.
For network log you can look in your browser's developer tools
Add a reply
Sign up and join the conversation on Discord