Gitea currently implements a migration feature that allows to move projects from GitHub, GitLab, Gitea etc. It can also be useful to mirror the project as a whole, including pull requests or issues. But this is an all-or-nothing proposition: if the...