Relocating (some of) GHC's core-libraries to github.com/haskell

[Simon Marlow]

On 29/04/2014 10:58, Herbert Valerio Riedel wrote:
> Hello Simon,
>
> On 2014-04-28 at 11:28:35 +0200, Simon Marlow wrote:
>
> [...]
>
>>> However, we can configure the lagged mirror such that we'd automatically
>>> mirror github's 'master' branch into our lagged mirror (we'd still be
>>> free to create local wip/* or ghc-7.10 branches at git.haskell.org if
>>> needed)
>>
>> I think that's fine.  As Simon points out, we already have lagging
>> repo functionality in the form of the submodule links, so the repo on
>> git.haskell.org can be a pure mirror.
>
> Just so I get this right, does "pure mirror" here mean that we don't
> want users to be able to push to the automatically mirrored repo on
> git.haskell.org at all, but rather the only way to get any commits into
> the git.haskell.org mirrored repo would be push it via the GitHub repo?
>
> (I'd like that, as it would make the set-up easier and hopefully less
> confusing, as there'd be only a single data-flow path)

Makes sense to me, but how does that interact with your post-commit hook 
that checks for validity of the submodule updates?

Cheers,
Simon