It's not well-known, but if you use "git clone --mirror" instead of just "git clone", you get a copy of all the pull requests as git commits, with the full hist

It's not well-known, but if you use "git clone --mirror" instead of just "git clone", you get a copy of all the pull requests as git commits, with the full history leading to each of them.