Switch branching strategy
poikilotherm opened this issue · comments
Instead of an unstable master switch to a stable release and unstable develop branch.
- Update docs
- Jenkins files
- Incorporate open changes from pull requests to finally delete
master - Remove stale branches, use forking workflow for admins, too.