From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Mon, 30 Dec 2019 22:34:03 +0100 Message-ID: <87o8vp1os4.fsf@gnu.org> References: <87tv616q5s.fsf@posteo.net> <141B1FAE-6518-4E0C-8E69-C96BCB540545@lepiller.eu> <878smxegxp.fsf@gnu.org> <87tv5ls8kj.fsf@gnu.org> <871rspe3x3.fsf@gnu.org> <875zi1qhoc.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:53546) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1im2fv-0001qw-9b for guix-devel@gnu.org; Mon, 30 Dec 2019 16:34:08 -0500 In-Reply-To: <875zi1qhoc.fsf@gnu.org> (Brett Gilio's message of "Fri, 27 Dec 2019 20:59:15 -0600") 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: Brett Gilio Cc: guix-devel@gnu.org, bandali@gnu.org Hello, Brett Gilio skribis: > Ludovic Court=C3=A8s writes: > >> The domain name would have to be discussed with others (other >> maintainers in particular; perhaps a better choice would be >> formal-methods.guix.info or fm.guix.info, next to hpc.guix.info), but >> the idea sounds great to me! > > That is, of course, reasonable that we should pass this along for a > community decision among the maintainers. Though, I do wonder a bit > about the HPC project in its decision to host its domain on *.guix.info > and use the Gitlab instance instead of Savannah for developing the haunt > page? I am making an assumption it is for historical reasons, rather > than it being intentionally to distance itself from our relationship > with the GNU project, but I would like to know the story behind this > decision. Guix-HPC is =E2=80=9Cinstitutional=E2=80=9D, that=E2=80=99s part of the rea= son behind this. Regarding gitlab.inria.fr, that=E2=80=99s because it used to be hosted at I= nria. Also, is a channel developed by colleagues at Inria, so it=E2=80=99s more convenient to have it there. Ludo=E2=80=99.