Patrick Georgi via coreboot wrote:
We could consider setting up a separate domain for that purpose and provide raw files there
I think that would be great..
but as an immediate workaround, all our repos are mirrored ~hourly to github.com/coreboot, too (and therefore are available through raw.githubusercontent.com)
..since it's not great to depend on github.com.
//Peter