Currently we store all the metadata about tickets in git, allowing to export all the information, we should do the same for pull-requests as it is also metadata of interest.
This is now implemented
Commit 112e8cc1 fixes this ticket
Commit 112e8cc1 fixes this issue