Can't push to haddock

[Simon Peyton Jones]

|  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 at gmail.com]
|  Sent: 18 December 2017 11:13
|  To: Simon Peyton Jones <simonpj at 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 at 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).