vote-issue: Do we want to move to Codeberg.org?

Hi all, please use this issue to vote on moving our repositories away from Gitlab.com into Codeberg.org. The issue can also be used for further discussion... [vote]