Github development

We are using the pull request model for development.

1. Every developer should have their own fork of the repository and work there

Features developed by a developer

If features are developed without collobartion a pull request can be made from Form to the master

Features developed by multiple developers

1. In this case, a feature branch should be created. This branch should start with the feature_
2. Developers should work on their forks and make pull requests to this feature branch
3. Once the feature is complete we can make a pull request to the master

Committing to master

Direct commenting to master is only allowed for the following two cases

1. trivial bug fixes (we are sure there are no side effects)
2. Documentation updates and fixes