[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Proposal] The Formal Methods in GNU Guix Working Group

From: Ludovic Courtès
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Mon, 30 Dec 2019 22:34:03 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)


Brett Gilio <address@hidden> skribis:

> Ludovic Courtès <address@hidden> writes:
>> The domain name would have to be discussed with others (other
>> maintainers in particular; perhaps a better choice would be
>> or, next to, 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 *
> 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 “institutional”, that’s part of the reason behind this.
Regarding, that’s because it used to be hosted at Inria.
Also, <> is a channel developed
by colleagues at Inria, so it’s more convenient to have it there.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]