On Thu, 12 Feb 2026 13:11:34 +0000 Johannes Schlatow via users <[email protected]> wrote:
> From now on, you'll find all genode-* repositories as > well as the Goa repository at > > https://codeberg.org/genodelabs Hi Johannes, Glad to see Genode move away from GitHub. However, I don't see the genode.git (main repo) at codeberg, I do see the genode-<arch> repos. I noticed the migrate-to-codeberg script alse searches for 'genode-' What has happened to the main repo? Not migrated yet? Or a forgotten, 'private repo' flag? Cheers, Guido. _______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/GGO3467MS3EAWESQXCGVUNPEAGSMJZRI/
