Figure 1
Git workflow. Blue indicates a simple commit, and red a merge commit. As all changes are made in a branch and merged to master, all master commits are merges and undergo automated integration and regression testing. Not all branches are shown for simplicity. Double arrows are accompanied by an email to the developer list.