I just looked up the module: https://github.com/espruino/EspruinoTools/blob/master/plugins/getGitHub.js
So actually I misremembered - it should be attempting to rewrite github URLs into a raw.github... form as you suggest... So it looks like for some reason the first option should work too, but something is broken there
© Espruino, powered by microcosm.
Report a problem