What if you're in a situation where you have both the source and target repo already present, each with their separate issues (which you'd like to combine). I a

What if you're in a situation where you have both the source and target repo already present, each with their separate issues (which you'd like to combine). I assume you'd have to combine everything in one repo, delete the other, and perform the rename. Does that sound right?