@andrewrk@mastodon.social Perhaps the metaphorical "copy-on-write" of issues and PRs warrants a bit of a clearer description of the process you have in mind? In case we want to comment on something that is already open on GitHub, how do we do that? Do we open a new issue/PR on Codeberg, copy-paste the title, put something like "cont'd from " in the description and continue on Codeberg like that?