Jonas Hahnfeld <[email protected]> writes: > To make this more explicit: I don't think we should do this. Mirroring > to Savannah and pulling from there is just fine and, as others have > expressed, probably the wiser decision long-term.
With regard to "long-term": updating the pull location of the website server after a wholesale server migration should be the least of our worries. While it makes strategic sense sticking with Savannah for links we publicly advertise (in the Internet community, every recommendation tends to stick around for years after you want it gone), the site the web server pulls from is not really public. So giving this have one hop less to work with is reasonable in my book for the sake of ongoing operations. -- David Kastrup
