pull down to refresh

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!

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

reply

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