<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2017-12-19 9:50 GMT+01:00 Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvriedel@gmail.com" target="_blank">hvriedel@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We'd need mirroring anyway, as we want to keep control over our<br>
infrastructure and not have to trust a 3rd party infrastructure to<br>
safely handle our family jewels: GHC's source tree.<br></blockquote><div><br></div><div>I think this is a question of perspective: Having the master repository on GitHub doesn't mean you are in immediate danger or lose your "family jewels". IMHO it's quite the contrary: I'm e.g. sure that in case that something goes wrong with GitHub, there is far more manpower behind it to fix that than for any self-hosted repository. And you can of course have some mirror of your GitHub repo in case of e.g. an earthquake/meteor/... in the San Francisco area... ;-)</div><div><br></div><div>It seems to me that there is some hostility towards GitHub in GHC HQ, but I don't really understand why. GitHub serves other similar projects quite well, e.g. Rust, and I can't see why we should be special.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Also, catching bad commits "a bit later" is just asking for trouble --<br>
by the time they're caught the git repos have already lost their<br>
invariant and its a big mess to recover;</blockquote><div><br></div><div>This is by no means different than saying: "I want to run 'validate' in the commit hook, otherwise it's a big mess." We don't do this for obvious reasons, and what is the "big mess" if there is some incorrect submodule reference for a short time span? How is that different from somebody introducing e.g. a subtle compiler bug in a commit?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> the invariant I devised and<br>
whose validation I implemented 4 years ago has served us pretty well,<br>
and has ensured that we never glitched into incorrectness; I'm also not<br>
sure why it's being suggested to switch to a less principled and more<br>
fragile scheme now. [...]</blockquote><div><br></div><div>Because the whole repository structure is overly complicated and simply hosting everything on GitHub would simplify things. Again: I'm well aware that there are tradeoffs involved, but I would really appreciate simplifications. I have the impression that the entry barrier to GHC development has become larger and larger over the years, partly because of very non-standard tooling, partly because of the increasingly arcane repository organization. There are reasons that other projects like Rust attract far more developers... :-/</div><div></GrumpyMode></div><div><br></div></div></div></div>