On Fri, Sep 14, 2018 at 11:37:25PM +0200, Ricardo Wurmus wrote: > Thanks for sharing this. In my opinion, it would be good if we could > increase the number of build machines first before we allow too much of > the funds to be regularly consumed by hosting costs.
Indeed, I just mentioned it to give a data point, and would personally prefer to spread out hosting for free inside the community. Andreas