@glitch @feld @phnt I think most would be migrating CI config (rather easy) and then bits of modifications, probably ones that we're currently missing from Gitlab but can't reasonably hope to add.

And I'm not afraid of scaling, codeberg is much bigger than us and works nicely and I'd doubt Gitlab is anywhere near efficient.