Re: Moving guix-science from GitHub?

[Ricardo Wurmus <rekado@elephly.net>]

Hi,

Ludovic Courtès <ludovic.courtes@inria.fr> writes:

> 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,

Superb!

> 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?

I have two worries about migrating to another location:

- publications referencing a channel with URL
  https://github.com/guix-science/guix-science might break if we don't
  manage to set up a permanent redirect.

- I don't know if migration would be seamless for all users of the
  channel.  Obviously, we'd also have to update any channel that
  references guix-science (such as guix-science-nonfree).

We may also want to move guix-science-nonfree, guix-cran, and guix-bioc
while we're at it.

-- 
Ricardo