On: Using Matrix to replace proprietary and centralize...

[thekyle]

I don't believe issues or pull requests are part of the Git repo. If there is a way to migrate them it would involve some GitHub API which could be shut down.

[Arnavion → thekyle]

The commits in pull requests are part of the git repo, in that they can be fetched from the repo's remote. The comments are not.

[samoa42 → Arnavion]

as said; the issues are not part of the repo.

as much as many projects could use a clean slate here, i dont think the burden of migranting them manually or the act of just dumping them is realistic.