<div dir="ltr">On Wed, Jun 5, 2013 at 5:10 PM, David Terei <span dir="ltr"><<a href="mailto:davidterei@gmail.com" target="_blank">davidterei@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="im">On 5 June 2013 01:43, Manuel M T Chakravarty <span dir="ltr"><<a href="mailto:chak@cse.unsw.edu.au" target="_blank">chak@cse.unsw.edu.au</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><div class="im">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I agree with Austin and Johan. It's a bizarre setup. Submodules have their pain points (which we already have to deal with), but the ability to properly snapshot and branch the whole tree would be a serious benefit IMO.<br>
<span><font color="#888888"><br>
Manuel<br>
</font></span><br>
PS: While we are at it, why don't we just have the main repos on GitHub and use forks and pull requests like the rest of the world? (Using Git, but not GitHub's superb infrastructure, seems like a terrible waste to me.)<br>
</blockquote><div><br></div></div><div>I'd be all for this. We partially use the GitHub infrastructure since trac broke and I changed the emails to point to GitHub instead. I also often do code reviews with other devs on a personal GHC fork on github before merging in.<br>
<br></div><div>I believe it would also help encourage more contributors (especially for libraries) but others have expressed disagreement with this point of view in the past and I'm not in hold of data.<br></div></div>
</div></div></blockquote><div><br></div><div style>I strongly suspect that fixing the original issue from this thread would do much more to encourage contributions. It certainly doesn't matter to me if ghc is on github or not, but I (as an extremely meager GHC hacker) find it near-impossible to maintain a usable repo if I want to do any sort of branching or checkouts. And while I hate git submodules with a passion, I agree with everyone who thus far has said that the current practice is even less usable (all the drawbacks and none of benefits).</div>
</div></div></div>