PR workflow

The PR, short for Github Pull Request, is a way to merge code on Github, where the main Arbor-repo is hosted.


New features, bugfixes or other kinds of contributions ideally start their lives as an Issue (short for Github Issue) on our Issue tracker. We distinguish two broad categories of issues: feature requests to add new functionality to arbor and bugs pointing out mistakes, inaccuracies, and plain faults in Arbor. Having a formal Github Issue before an implementation addressing a request or bug (as a PR containing a code contribution or otherwise) gives others the chance to weigh in and help find a solution that fits Arbor and its design, which makes it easier to integrate your contribution. Especially for new features, this is a helpful process. Have a look at our blogpost on this subject for some more rationale for this process.

Making a pull request

If you want to contribute code that implements a solution or feature, the workflow is as follows:

  1. Fork the Arbor repository.

  2. Create a branch off of master and implement your feature.

  3. Make a pull request (PR) and refer to the issue(s) that the PR addresses. Some tips on how to write a good PR description:

    • You can use labels to categorize your PR. For very large PRs, it is likely the reviewer will have many questions and comments. It can be helpful to reach out on Gitter, Github Discussions or by email beforehand if you’ve big things planned for Arbor!

    • Commit logical units with clear commit messages.

    • Add a change summary to the PR message. If you remembered to commit logical units, this could simply be a bulleted list of all commit messages in the PR. If during the review process you make changes to the features in the PR, keep the PR description updated.

    • Use text like fixes #123 in the description to refer to an issue.

  4. We will accept contributions licensed with the same BSD 3-Clause “New” or “Revised” License, as the Arbor project. If not specified otherwise, we accept your contribution under this license. If this is a problem for you, please contact us at

  5. A PR on Github is automatically built and tested by GitHub Actions CI pipelines. You can run these tests yourself by building them first (make tests) and then running them (./bin/*unit*).

    • If you make changes effecting simulations on GPUs, you can post a reply to your PR with bors try, which will run the test-suite with GPU and MPI enabled on Piz Daint.

  6. A member of the Arbor development team will review your contribution. If they approve, your PR will be merged! Normally this should happen within a few days.

Refer to the Github documentation for more explanation of the Git workflow described above.

Collaborating on a PR

Especially for larger PRs, it may be a good idea to collaborate with others. There are various ways to do so, for instance to have a shared branch somewhere in a fork of the Arbor repo. Since we’re using Github, you can also add commits to a PR opened by someone else. Since the correct procedure for that is Github specific, here the steps for how to do this (with just git).

Alongside the instruction, an example situation will be given. Here, it is assumed that you’ve created your own Github fork of the Arbor repo, and that you have this cloned to disk (and the origin remote points to your fork of Arbor on Github). We’ll setup a new remote called upstream, pointing to the arbor-sim/arbor repo. The example situation is that you want to commit to pull request number 321, opened by a Github user called github_user_007, who named the branch they’re trying to merge my_special_branch, in their fork of the Arbor repo called arbor-sim (which is the default when you fork on Github).

Situation as a table




remote for Arbor main repo



PR you want to contribute to



Github user that opened the PR



branch name of the PR



repo name of the above branch




  1. Add the upstream remote like so: git remote add upstream

  2. git fetch $REMOTE pull/$PR/head:$REMOTE_BRANCH_NAME

    Example: git fetch upstream pull/321/head:my_special_branch

  3. This should have made a local branch with the same name, tracking the PR-branch. Switch to the new local branch.

    Example: git switch my_special_branch

  4. Make commits to that local branch.

  5. Push to the PR-branch with the following incantation: git push$PR_AUTHOR/$REPO $LOCAL_BRANCH_NAME:$REMOTE_BRANCH_NAME

    Example: git push my_special_branch:my_special_branch

  6. The commit should now show up on the PR. When the PR is going to be merged, Github will add a “Co-authored by …” line to the commit body. Leaving this line in place upon merging, will then list these contributors in Github UI.

Reviewing a PR

Each pull request is reviewed according to these guidelines:

  • At least one core Arbor team member needs to mark your PR with a positive review.

  • GitHub Actions CI must produce a favourable result on your PR.

  • An Arbor team member will (squash) merge the PR with the PR change summary as commit message.

  • Consider using Gitpod to review larger PRs, see under checks on the Github PR page.

Merging a PR

  • Use PR comment as commit message and verify it covers the changes in the PR.

  • ONLY squash-and-merge (Github should not allow anything else anymore).

  • The creator of a pull request should not review or merge their own pull request.

  • A reviewer can merge if their own review is favourable and other criteria are met.

  • A reviewer can poke another Arbor core team member to do the merge.