Moving guix-science from GitHub?

["Ludovic Courtès" <ludovic.courtes@inria.fr>]

Hello!

Currently Guix-Science{,-nonfree} are on GitHub, which is not great for
obvious reasons, and also because there’s no CI integration.

Thanks to Romain, Cuirass recently gained support for GitLab
integration, so it would be tempting to move to a public GitLab instance
such as gitlab.com.  One could also implement GitHub support without too
much hassle (maybe?), but is it worth it?

But if we are to migrate, we might just as well migrate to a
not-for-profit instance such as codeberg.org?  (I believe a prerequisite
for the intended audience is to have something that looks similar to
Git{Hub,Lab}, which is why I’m not suggesting the use of sr.ht.)

Thoughts?

Ludo’.