18 Feb
2026
18 Feb
'26
7:45 p.m.
On Thu, 12 Feb 2026 13:11:34 +0000 Johannes Schlatow via users users@lists.genode.org wrote:
From now on, you'll find all genode-* repositories as well as the Goa repository at
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.