@fin_ger Excellent.
BTW the explanation on why the issues, etc aren't migrated with mirrors is there, somewhere.
Issues are linked to users so if you mirror issues linked to users that are on GitHub but not on your Gitea instance you'll have to handle that. It seems like the developers are thinking about the best way to fix that. @rugk