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!
Yeah they need to get backed up somehow. GitHub probably doesnt offer an API for that
The repo owner shall file GDPR date export request to backup the issues once a month.
reply