Source Code

git workflow

We use source code branches to handle our different release series.

  • devel [External]: the latest, most ambitious branch
  • stable [External]: the current release series
  • integration [External]: branches under consideration for next release

Most of the development happens in branches. Once ready for integration into stable or devel, a pull request is opened and a code review takes place. Here's a list of all branches in the works [External].


Feel free to fork [External] our github repository [External] if you are willing to contribute!


We were using the monotone [External] source control system before our migration to git. All of the monotone database information was kept (commit content, messages, etc.) so if you need to go back in time you should be able to do so from the git repository.