ben at well-typed.com
Thu Oct 19 20:49:50 UTC 2017
Andrey Mokhov <andrey.mokhov at newcastle.ac.uk> 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?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs