| 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:hvriedel@gmail.com] | Sent: 18 December 2017 11:13 | To: Simon Peyton Jones <simonpj@microsoft.com> | Subject: Re: Can't push to haddock | | On Mon, Dec 18, 2017 at 10:01 AM, Simon Peyton Jones via ghc-devs <ghc- | devs@haskell.org> 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).