pxt-microbit
pxt-microbit copied to clipboard
Unable to integrate with GitHub
Unable to integrate from makecode.microbit.org to GitHub
To Reproduce Steps to reproduce the behavior:
- Go to a browser that has never visited makecode.microbit.org (or click on "reset" in the settings, either will work)
- Click on Import
- Click on "Import Url"
- Add in the path to a repo (in my case i pointed to an empty repo)
- It tells you : "Initialize GitHub repository for MakeCode?"
- Click on "OK" to proceed
- Sign in using a developer token (that has access to only public_repo)
- You get an orange background error saying "Network request failed"
Expected behavior Would've expected
Screenshots
The rest of the steps arent relevant cause at this point nothing is configured at all, but still adding in some details that I have micro:bit version (please complete the following information): Doesnt need microbit to simulate, works with just the browser
You can find this information in the lower right hand corner of the back of micro:bit (the side that says BBC micro:bit).
- Which version of the micro:bit is this relevant to [ EG V1.3, V1.5, V2.0, or specify it's not hardware related ]
Desktop (please complete the following information):
- OS: Windows 10
- Browser Chrome (94.0.4606.81 (Official Build) (64-bit)) / Edge (94.0.992.50 (Official build) (64-bit))
We don't support importing any repo. This needs to be a makecode repo. It needs to have pxt.json.
You can create a new repo from makecode project by clicking on github icon
Creating a repo also fails. Or rather, it succeeds, but only creates a completely empty repo with no contents (other than a gitignore file)
Also, the import definitely is an option in the menu so am surprised you say it isn't supported.
Creating a repro should succeed. Otherwise it is a bug.
We support importing only makecode repos and not any repo.
@basil-dsouza can you share the repo which you created using the "create repo" button?
https://github.com/basil-dsouza/microbit-simple-music-button
So what happens is that:
- I click on the button to save project to repo
- It asks me to log in to GitHub (I chose via developer token - with public_repo)
- It then asks me for repo name and description.
- I then click ok and it creates this empty repo (that I linked at the start of this comment)
- But the button doesn't change and any further changes aren't saved either.
I tried this one more time to also capture the console logs. Steps performed:
- Created a new project: test
- Clicked on the create repo icon
- Logged in using developer token with "remember me" turned on
- Chose default settings for name, etc
- Got no error on screen but in console there was an error when creating tree (See screenshot lower down) 6.Only an empty Repo got created: https://github.com/basil-dsouza/test
And if it helps, i tried this same process with arcade.makecode.com and resulted in a similar error, where i got an empty repo (didnt get to see the console there)
Has anyone had a chance to look into this? Can anyone at least confirm if they can reproduce this problem, or is it only happening on my machine?
Seems like a very basic feature to not be working and for no one to notice it.
@basil-dsouza It works for me when I log in with my email address and password. but using a developer token with only public_repo ticked, an empty repo is created, the MakeCode github button doesn't get an arrow, and then the project cannot be loaded from home.
@martinwork Thanks for confirming that! I've gone back to directly logging in rather than using developer tokens and that has solved my problem.
I think this issue should remain open though cause it is still a valid open issue. I'll leave it's prioritization to whoever maintains this repo.