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. I am personally not partial to either domain: fm.guix.info or fm.guix.gnu.org. I just wonder about how that original decision came about :). -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] <bre...@gnu.org> <bre...@posteo.net>
