Re: Migration from GitHub to Codeberg

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 devuser@alternateapproach.com