Git and Github
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