Which is why we'll be finding out costs. However, I suspect that from your comment here and the $50 mentioned above, we might be able to scrap together enough for a month.

There is a lot of traffic. The repos are hosted in content-distribution networks to increase throughput (but increase cost); there are build servers, web servers, mail servers, ...

A quick whip round is not going to do it. Asking the community to pay (how would that work?) presents an us & them atmosphere between those who contribute and those who don't. It would need to be considered very carefully.

So, would you & geneven care to draft a proposal as to how it could work? Assume we can find volunteers to do all the sys admin work and that we're only dealing with bandwidth and server costs (let's go for renting), so let's say somewhere in the region of $5000 a year (that's an educated guess) - we can revise it in light of actual sums at a later point.

Thanks in advance,

Andrew