Hello, Brett Gilio <bre...@gnu.org> skribis:
> Ludovic Courtès <l...@gnu.org> 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’.
