RE: Hadrian

Andrey Mokhov writes:

Thanks Ben,

Just to clarify: By history I mean not just commits, but GitHub issues and PRs as well -- together they contain a lot of valuable interlinked information for GHC/Hadrian developers.

Well, the GitHub repo will still exist. Is that enough? Cheers, - Ben