Re: Moving guix-science from GitHub?

[Simon Tournier]

Hi,

On Mon, 2 Sept 2024 at 15:42, Ludovic Courtès <ludovic.courtes@inria.fr> wrote:

> Thanks to Romain, Cuirass recently gained support for GitLab
> integration

Oh cool!  Thank you Romain.

>              so it would be tempting to move to a public GitLab instance
> such as gitlab.com

[...]

> But if we are to migrate, we might just as well migrate to a
> not-for-profit instance such as codeberg.org?

Is Cuirass also integrated with codeberg.org?  Maybe I have missed
something, from my understanding, codeberg.org depends forgejo which is
not related to Gitlab.

Well, if the motivation is to move from GitHub because of missing CI,
then the new forge must have integrated CI. ;-)

Otherwise, I do not have any opinion where the guix-science channel shoudl live.

Cheers,
simon