Module not found when I require custom module from my github

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