Developer Guide

Jump to bottom Edit New page

Oliver Beckstein edited this page Jan 3, 2022 · 2 revisions

Development workflow

all development on the develop branch
use pull requests against develop and review to introduce new features or fix bugs
use the issue tracker for any bugs, enhancements, or other discussion

Releases

Releases are created from the master branch and tagged. See Release-Guide for details.

Release numbering

We are using semantic versioning for releases.

Availability

At the moment, no packages are published except through GitHub (from tags). Use the checked out branch.