@whitequark question for you since I think you know forejo/codeberg pretty well-
Do you think Godot as a project could move all their repos and stuff to codeberg?
There’s been some talk on the Godot side from what I can tell, but the big blocker is CI/CD since Godot currently gets that all for free from GitHub’s end