[tei-council] gitQuestion

I'm looking at Piotr's pull request #1665. There are like 100 commits in 4 different files. (Well, actually only 61 commits.) Is there any (relatively) easy way for me to check out or otherwise create a copy of P5 with those commits applied, so I can just try building the Guidelines locally with Piotr's changes, and look at and test the result? I suppose I want to do something like merge his pull request into a local copy of mine, rather than into GitHub.