[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What ARM hardware should we buy and where should we host it?
From: |
Andreas Enge |
Subject: |
Re: What ARM hardware should we buy and where should we host it? |
Date: |
Sat, 15 Sep 2018 15:42:42 +0200 |
User-agent: |
Mutt/1.10.1 (2018-07-13) |
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