Checking out PRs locally for review

Git can checkout pull requests from a remote repository. This makes it easier to review pull requests locally, and to run tests against them.

Configuring Git to make checkout easier.

You can modify your .gitconfig file to include the PR namespace. This allows easier checkout of PRs and also shows the PRs in graphical tools like gitk.

edit the .git/config file

Make sure that you have a remote defined in your .git/config file that corresponds to the main FreeCAD repo. Ideally, this remote is named “upstream”. If you don’t have this remote defined, you can add it like this:

[remote "upstream"]
	url = git@github.com:freecad/freecad.git
	fetch = +refs/heads/*:refs/remotes/upstream/*

add the PR namespace

add a second fetch line to the upstream remote definition. This line will fetch the PR namespace from the upstream repo.

fetch = +refs/pull/*/head:refs/remotes/upstream/pr/*

now you can fetch PRs with the command

git fetch upstream

checkout a PR

git checkout upstream/pr/1234