1 Jun
2021
1 Jun
'21
11:03 p.m.
but as an immediate workaround, all our repos are mirrored ~hourly to github.com/coreboot, too (and therefore are available through raw.githubusercontent.com)
Oh, perfect! At least for my purposes that's good enough. Thanks!