, David Terei wrote:
> Hi all,
>
> It was pointed out to me that the GHC github mirror is lagging behind
> darcs.haskell.org quite a lot. (Last commit to github is from 29/7). I
> noticed in the post-receive hook that the push to github line has been
> commented out with a comment: 'arranged with
Hi all,
It was pointed out to me that the GHC github mirror is lagging behind
darcs.haskell.org quite a lot. (Last commit to github is from 29/7). I
noticed in the post-receive hook that the push to github line has been
commented out with a comment: 'arranged with Tekkub from GitHub for
Github to
