title: How can I move all PRs from one repository to another?
body: <p>I need to move the repository from one server to another. I'm looking forward to keeping the entire history including the PRs, however, I haven't figured out how to migrate the PRs yet. Anyone can help me?</p>