From mboxrd@z Thu Jan 1 00:00:00 1970 From: Brett Gilio Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Tue, 31 Dec 2019 10:17:53 +0000 (UTC) Message-ID: 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> <87o8vp1os4.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]:45254) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1imEb7-00035f-CC for guix-devel@gnu.org; Tue, 31 Dec 2019 05:17:58 -0500 In-Reply-To: <87o8vp1os4.fsf@gnu.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: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Cc: guix-devel@gnu.org, bandali@gnu.org Dec 30, 2019 3:34:22 PM Ludovic Court=C3=A8s : > Guix-HPC is =E2=80=9Cinstitutional=E2=80=9D, that=E2=80=99s part of the r= eason behind this. > Regarding gitlab.inria.fr, that=E2=80=99s because it used to be hosted at= Inria. > Also, is a channel developed > by colleagues at Inria, so it=E2=80=99s more convenient to have it there. Hey Ludo, thanks for the explanation. It makes sense why Guix-HPC lives somewhere else. Given this, what do you p= ropose for initiating the conversation on where the formal methods haunt pa= ge should live with the other maintainers? I personally think the repositor= y should live on Savannah, but the address needs to be discussed. Any other maintainers reading this, please feel free to weigh in. --=20 Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]