If you are thinking about Github pull requests (web based transcripts) then
talk to github. (I think it's an open issue as to how to access that
history, and how it is stored internal to GH.
If it is internal git email requests, then it is a case of archiving those
emails, and the merge themselves is in the repo. Possible update your merge
procedures to include that email PR into the merge message to maintain the
traceability.
--
Philip
----- Original Message -----
From: "Maciej Gawinecki" <mgawine...@gmail.com>
To: "Git for human beings" <git-users@googlegroups.com>
Sent: Thursday, January 25, 2018 5:24 PM
Subject: [git-users] Copying merged pull requests from one Git repo to
another
Hi,
I have copied code and commit history from one repository to another
git remote set-url origin
ssh://g...@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?
-Maciej
--
You received this message because you are subscribed to the Google Groups
"Git for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Git for
human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
