|  It's for technical reasons, and the strongest one being: GitHub doesn't
|  allow us to establish strong invariants regarding submodule gitlink
|  referential integrity for submodules (which I implemented a couple years ago
|  for git.haskell.org).

Interesting.  It'd be good to document what the technical reasons are.  For 
example I don’t know what the strong invariants are.

A good place to describe them might be the Repositories pages
https://ghc.haskell.org/trac/ghc/wiki/Repositories

Many thanks

Simon

|  -----Original Message-----
|  From: Herbert Valerio Riedel [mailto:[email protected]]
|  Sent: 18 December 2017 11:13
|  To: Simon Peyton Jones <[email protected]>
|  Subject: Re: Can't push to haddock
|  
|  On Mon, Dec 18, 2017 at 10:01 AM, Simon Peyton Jones via ghc-devs <ghc-
|  [email protected]> wrote:
|  > But why don’t we just pull from github rather than mirroring on
|  > git.haskell.org?
|  
|  It's for technical reasons, and the strongest one being: GitHub doesn't
|  allow us to establish strong invariants regarding submodule gitlink
|  referential integrity for submodules (which I implemented a couple years ago
|  for git.haskell.org).
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to