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

+1 On Tue, Apr 29, 2014 at 9:46 AM, Edward Kmett wrote:

I would really like that as well.

My experience is it is rather easy to get users to put together a pull request through github.

It is rather more like pulling teeth to get them to use git properly and put together a traditional patch.

This would greatly open up the workflow for end users contributing things like small documentation fixes and the like.

-Edward

On Tue, Apr 29, 2014 at 5:58 AM, 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)

Cheers, hvr

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs