Re: Moving guix-science from GitHub?

[Philippe SWARTVAGHER]

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.

--
Philippe SWARTVAGHER
Assistant Professor @ ENSEIRB-MATMECA
Research team Topal @ Inria Bordeaux-Sud Ouest