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

[Ludovic Courtès]

Hello,

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
>> 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 “institutional”, that’s part of the reason behind this.
Regarding gitlab.inria.fr, that’s because it used to be hosted at Inria.
Also, <https://gitlab.inria.fr/guix-hpc/guix-hpc> is a channel developed
by colleagues at Inria, so it’s more convenient to have it there.

Ludo’.