From mboxrd@z Thu Jan 1 00:00:00 1970 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 Message-ID: <20180915134242.GA5569@jurong> References: <87lg8izu99.fsf@elephly.net> <20180911213331.GA13582@jurong> <877ejn69re.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50777) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g1Aqa-0000VH-3l for guix-devel@gnu.org; Sat, 15 Sep 2018 09:42:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1g1AqV-0005t4-6z for guix-devel@gnu.org; Sat, 15 Sep 2018 09:42:52 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:54106) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1g1AqU-0005eF-U3 for guix-devel@gnu.org; Sat, 15 Sep 2018 09:42:47 -0400 Content-Disposition: inline In-Reply-To: <877ejn69re.fsf@elephly.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus Cc: guix-devel@gnu.org 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