There was some discussion about this during Austin Bit Devs last month. I think there are several mirrors. A lot of the context is indeed on GitHub though.

127 sats \ 3 replies \ @ekzyis 22 Sep

Yeah, issues and comments (which can be quite important for a repository imo) are unfortunately not included in a git repository so migration of these is not trivial.

I will have to look this up. Thanks for your response!

Yeah they need to get backed up somehow. GitHub probably doesnt offer an API for that

20 sats \ 0 replies \ @1sats 24 Sep

The repo owner shall file GDPR date export request to backup the issues once a month.