Re: Moving guix-science from GitHub?

[Ludovic Courtès]

Hello,

Ricardo Wurmus <rekado@elephly.net> skribis:

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

Publications that include a commit will be fine: Guix will fall back to
SWH.  You can try it for instance with:

  guix time-machine -q --url=http://example.org \
    --commit=deac7dd04156b9358ea33200593fd260760f9d91 -- \
    describe

That said, if we migrate, we should have a prominent human-readable
message at github.com if we cannot set up an actual 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).

Right, that’s annoying and admittedly annoying.

Perhaps the repo at github.com could be in “archived” mode and still be
around though, as a way to minimize disruption for old code.

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

Yes; we should keep them all together.

Ludo’.