From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: [bug#33600] [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) Date: Tue, 4 Dec 2018 09:59:48 +0100 Message-ID: <20181204085948.GA1690@jurong> References: <20181203154335.10366-1-ludo@gnu.org> <8736re41kp.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([208.118.235.92]:57267) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gU6ZG-0007dV-CP for guix-devel@gnu.org; Tue, 04 Dec 2018 04:00:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gU6ZB-0007o7-O3 for guix-devel@gnu.org; Tue, 04 Dec 2018 04:00:34 -0500 Content-Disposition: inline In-Reply-To: <8736re41kp.fsf@netris.org> 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: Mark H Weaver Cc: guix-devel@gnu.org, 33600@debbugs.gnu.org On Mon, Dec 03, 2018 at 06:44:43PM -0500, Mark H Weaver wrote: > Who owns the guix.info domain? Also, who owns the guixsd.org domain? guixsd.org is owned by the Guix Europe association. guix.info, as far as I know, by Ricardo. Plans are to drop guixsd.org in the long run, and I would suggest to transfer guix.info to Guix Europe at the next renewal. Andreas