<div dir="ltr">I would really like that as well.<div><br></div><div>My experience is it is rather easy to get users to put together a pull request through github.</div><div><br></div><div>It is rather more like pulling teeth to get them to use git properly and put together a traditional patch.</div>
<div><br></div><div>This would greatly open up the workflow for end users contributing things like small documentation fixes and the like.</div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Apr 29, 2014 at 5:58 AM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvriedel@gmail.com" target="_blank">hvriedel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hello Simon,<br>
<br>
On 2014-04-28 at 11:28:35 +0200, Simon Marlow wrote:<br>
<br>
[...]<br>
<div class=""><br>
>> However, we can configure the lagged mirror such that we'd automatically<br>
>> mirror github's 'master' branch into our lagged mirror (we'd still be<br>
>> free to create local wip/* or ghc-7.10 branches at <a href="http://git.haskell.org" target="_blank">git.haskell.org</a> if<br>
>> needed)<br>
><br>
> I think that's fine. As Simon points out, we already have lagging<br>
> repo functionality in the form of the submodule links, so the repo on<br>
> <a href="http://git.haskell.org" target="_blank">git.haskell.org</a> can be a pure mirror.<br>
<br>
</div>Just so I get this right, does "pure mirror" here mean that we don't<br>
want users to be able to push to the automatically mirrored repo on<br>
<a href="http://git.haskell.org" target="_blank">git.haskell.org</a> at all, but rather the only way to get any commits into<br>
the <a href="http://git.haskell.org" target="_blank">git.haskell.org</a> mirrored repo would be push it via the GitHub repo?<br>
<br>
(I'd like that, as it would make the set-up easier and hopefully less<br>
confusing, as there'd be only a single data-flow path)<br>
<br>
Cheers,<br>
hvr<br>
</blockquote></div><br></div>