I have copied code and commit history from one repository to another
git remote set-url origin ssh://git@mycompany.com:7999/new-project/repository.git
git push -f origin
for long-living branches: develop and master.
However, our PCI requirements require also pull requests (merged) to be copied as well. How this can be done?