***master**: This branch is targeted for the user community. Since January 2019, it is also subject to a Continuous Integration process. The update frequency is about once every 2-3 months. We are also performing bug fixes on this branch.
***develop**: This branch contains recent commits that are tested on our CI test bench. The update frequency is about once a week.