Hi Noé, Noé Lopez <noelo...@free.fr> writes:
> As you said, this adds an extra point of failure. It seems that there is > no real issue with changing URL right now as shown by GCD 002. So what > is the benefit of this patch? This was originally proposed as a way to facilitate Git migration—should we decide in a year to migrate to, say, github.com :-) (or more seriously: to self-host.) But as Chris wrote, it’s also a good way to keep infra under the project’s control, and provides a way to add redundancy through mirroring for instance. Ludo’.
