Hi Ludo,
> Looking at <https://savannah.gnu.org/git/?group=guix>, there’s one > repository I forgot to mention (shame on me): mumi. > > Arun, should I let you migrate it? Let me know what you prefer. Since you're already familiar with the process, it might be easier for you to migrate the mumi repo yourself. So, I'd prefer you did it. Thanks!
