Board Manager URL is not working

[danrfiuza (Fiuza)]

The Additional Boards Manager URL is broken. Someone can help me through this?
https://arduboy.github.io/board-support/package_arduboy_index.json

[acedent (Andrew Dent)]

I think this is a known issue, that @bateske needs to fix with GitHub…

[bateske (Kevin)]

holdon I will escalate the issue

[MLXXXp (Scott)]

@bateske

I will escalate the issue

As I wrote early in August:

Arduboy Github

@bateske, If you create a fresh repository named arduboy.github.io and make me a collaborator for it, I can mirror it from the Ar-zz-duboy account for you. That should fix the boards files breakage. You can leave the description blank and not create a README.md file. Create a repo - GitHub Docs Inviting collaborators to a personal repository - GitHub Docs. My account/user name on GitHub is the same as here: MLXXXp The rest isn’t so urgent because of the automatic redirection that’s happenin…

[bateske (Kevin)]

The thing → Actually doing it

[Pharap]

Until it’s properly fixed, I’ve hosted a copy of the original on my own GitHub:

GitHub - Pharap/ArduboyPackage: A temporary/backup hosting of the Arduboy...

Theoretically everything should work if you use this url instead:
https://raw.githubusercontent.com/Pharap/ArduboyPackage/master/board-support/package_arduboy_index.json

I’m not certain that it’ll work, but it’ll probably work.

(I managed to piece together how to get it to work without creating a GitHub pages site by looking at what Mr Blinky’s homemade package does.)