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: Thu, 02 Jan 2020 23:11:57 +0100 Message-ID: <87blrlse36.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> <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]:57885) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1in8hG-0001Gi-3k for guix-devel@gnu.org; Thu, 02 Jan 2020 17:12:03 -0500 In-Reply-To: (Brett Gilio's message of "Tue, 31 Dec 2019 10:17:53 +0000 (UTC)") 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, GNU Guix maintainers Hello! (Cc: maintainers.) Brett Gilio skribis: > 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 = reason behind this. >> Regarding gitlab.inria.fr, that=E2=80=99s because it used to be hosted a= t 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= propose for initiating the conversation on where the formal methods haunt = page should live with the other maintainers? I personally think the reposit= ory should live on Savannah, but the address needs to be discussed. It=E2=80=99s fine to host the repo on Savannah: we can ask for a new repo u= nder the Guix umbrella, the downside being that access control will be the same as for the other repos (we can only grant access to all the repos or none of them.) If you plan to open it more to formal methods people that do not yet contribute to Guix, it might be easier to use a separate repo. You tell us! As for the domain name: I think it would be fine to use formal-methods.guix.gnu.org as long as the web site follows GNU and Guix policy, which mostly means referring only to free software, avoiding the phrase =E2=80=9Copen source=E2=80=9D to describe it, and probably avoiding = institution logos and such (I don=E2=80=99t think there=E2=80=99s any written policy bu= t I would personally find it out of place on gnu.org.) Anyway, the two of you are webmasters so you probably know this better than I do. IOW, if you want to flatter your employers and labs, you might want to opt for a separate web site. :-) Maintainers, what do you think? Anyway, step #1 is to get a web page ready. :-) Ludo=E2=80=99.