On 2/18/26 1:45 PM, Guido via users wrote:
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?
This is all according to the plan. :^)
According to the 2026 Roadmap (https://genode.org/about/road-map),
moving everything except the Main repository was scheduled for February,
with moving Main scheduled for May.
Happy Sculpting,
John J. Karcher
[email protected]
_______________________________________________
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/76SINGF42ABUYYGLZLBOZYLBNDYSUHQP/
