digistump.com dead can we get a json that points here?

[CTI-Tim]

digistump.com is dead-dead
This means this link http://digistump.com/package_digistump_index.json is also dead.
Can we please get a link and json for boards manager HERE so we can still use this?

[CTI-Tim]

Nevermind found a partial answer in another thread and was able to put together the whole URL

https:// raw.githubusercontent.com/digistump/arduino-boards-index/master/package_digistump_index.json

Put that in boards manager. get rid of the space between // and raw because github is dumb and likes to hide things.

[KDMcMullan]

http://drazzy.com/package_drazzy.com_index.json
I THINK that includes it all.