Isn't all of their concern kind of demonstrated to be unfounded? CoMaps forked the exact codebase being discussed and moved to Codeberg already, and they're doing great now. Whatever it is that the Organic Maps team thinks is indispensable on GitHub is clearly not actually an insurmountable challenge to ditch.