You all might know this already, but I thought I would share a trick I just learned to make reviewing pull requests earlier.
First you need to have the Geode GitHub repo added as a remote (if you don’t already): git remote add github https://github.com/apache/geode.git Then given a pull request like https://github.com/apache/geode/pull/311 <https://github.com/apache/geode/pull/311>, you can fetch it into a local branch: git fetch github pull/311/head:pr-311 And checkout that branch: git checkout pr-311