ProseMirror's Migration to Forgejo

Hello ProseMirror community. I am in the process of moving as much of my code as is practical off GitHub and onto my own Forgejo instance at code.haverbeke.berlin. I’m looking into migrating ProseMirror soon, so this message is a heads-up about that and a call for feedback. The plan is to create a prosemirror organization on that server and migrate the repositories over so that they keep the same structure, and then archive the GitHub repositories. That means link to issues or patches under git...