For the development process the following git workflow was used:

• https://nvie.com/posts/a-successful-git-branching-model/

This means that the dev branch holds the latest features that are made for the next release and these features will be merged into master only when a release is made.