News: new structure of Git repositories

Date: 2020-11-30 Author: Martin Pietsch

All Git repositories now have a devel and a stable branch. The stable branch contains the last stable version and the devel branch the developer version of a repository. The master branch is still existing, but is not longer maintained.