[cedric]

I downloaded a GitHub repo from Software Heritage [0]. I searched and found the repo was in the archive. Software Heritage saved my day.

[0]: http://archive.softwareheritage.org/