Open the editorEditor
Troubleshooting

GitHub sync messages

What the messages from Save to GitHub and Open from GitHub mean, and what to do.

Open the editorAll the docs

Mokxi teamTroubleshooting

What you see

A message under the buttons in the GitHub sheet, after Connect GitHub, Save to GitHub or Open from GitHub. Find its first words below. How sync works is in GitHub and VS Code.

Importing from a public GitHub link is a different thing: its messages are in other error messages.

Connecting

  • "GitHub was not connected: the request was canceled at GitHub." Press Connect GitHub again and approve it.
  • "That GitHub connection took too long or was opened in another tab." Press Connect GitHub again in this tab.
  • "GitHub did not grant access to repositories." Connect again and allow repository access.
  • "GitHub no longer accepts the connection; connect GitHub again." The connection was revoked on GitHub, or it expired. Connect again.
  • "GitHub sync is not available on this account." Student class accounts and younger children's accounts do not connect GitHub.

Saving to GitHub

  • "A private repository needs "Include private repositories"." Connect GitHub again with that box ticked.
  • "You already have a repository called ..." Pick it from the list, or choose another name.
  • "This GitHub account cannot push to that repository." You can read it but not write to it. Pick one you own, or ask its owner to add you.
  • "That is not a branch name git accepts." Use a short name with no spaces, such as main.
  • "A save to GitHub holds at most 300 files."
  • "That is a lot of saves to GitHub in a row; wait a few seconds."
  • "That repository has moved or been renamed on GitHub; pick it again."

Opening from GitHub

  • "That repository has no diagram.mokxi.json and no Arduino sketch (.ino)." Open a repository saved from Mokxi, or one with a sketch in it.
  • "diagram.mokxi.json is not valid JSON." The file was edited by hand and broken. Fix it on GitHub, or open an older commit.
  • "diagram.mokxi.json is larger than a project can be." A project is at most 3 MB.
  • "That repository has no commits on that branch yet."
  • "GitHub has no such repository or branch, or this connection cannot see it." Check the name. A private repository needs "Include private repositories".
  • Files listed as "too large, or past what one open reads" were left out: one open reads up to 120 files and 4 MB, and a sketch file is at most 512 KB.

When GitHub is the problem

  • "GitHub is limiting requests right now" or "GitHub did not answer". Try again in a few minutes.
  • "GitHub refused: ..." or "GitHub said: ..." The rest is GitHub's own reason.

Still stuck

Write to us from /support with the exact words you saw.