Thanks for bringing this up. Admittedly, I haven’t seen the connection of the restructuring with the potential migration to another code forge. But if we contemplate a disruption anyway, the combination of both steps is an idea worth considering.
As hinted in a previous discussion I sympathize with the idea to move collaborative activities away from GitHub to Codeberg, which is a non-commercial foundation (Verein) operated in Berlin and wholly committed to Free and Open-Source software.
Taking the restructuring as opportunity to also move places would give us practical experience with moving away from GitHub while keeping the risk at a manageable level. (i.e., genode-world has an order of magnitude fewer issues than the genode main repository).
As tangential positive potential outcome, the move of our most community-focused repository to Codeberg as a non-corporate platform would strengthen the networking effect of Codeberg in the longer term while weakening the social lock-in of GitHub, at least for our community.
As a third plus, as Codeberg is based on the GPL Forgejo project, it would ultimately foster our autonomy. In the worst case - should Codeberg go belly-up - we could still move to self-hosting using Forgejo directly at any time with no migration risks.