Re: Moving guix-science from GitHub to Codeberg

[Lars-Dominik Braun]

Hi,

> If there are no objections, I’ll go ahead with this plan on Oct. 17th.

there’s two issues with the repo at
https://codeberg.org/guix-science/guix-science.git right now: Its
default branch is called “main” not “master”, which needs to
be specified explicitly in the channels.scm. I would just rename the
branch to match what we use right now (i.e. master). And it does not have
a keyring branch. I also cannot see who owns the new
repository/organization, but I would highly recommend granting more than
one person administrative access.

Apart from that, please go ahead.

Lars