Re: Moving guix-science from GitHub?

[Ludovic Courtès]

Philippe SWARTVAGHER <philippe.swartvagher@inria.fr> skribis:

> Le 04/09/2024 à 18:26, Lars-Dominik Braun a écrit :
>> I believe it’s not possible to set up a permanent redirect to a project
>> outside of GitHub. However we could use the channel news feature to
>> announce the move and then archive the GitHub projects.
>
> I was wondering: maybe ~~we~~ you could setup a mirror repository? The
> GitHub repository being a mirror of the new location of the
> repository. At least to smooth the migration in channel files.

Yes, I guess it’s relatively easy to do and would make the transition
smoother.

Ludo’.