pull down to refresh

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.
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!
reply
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