Skip to content
GitLab

Fixed the README batches and changed pipeline to push tags to github.

Merged Markus Scheidgen requested to merge github into develop

Changelog: Fixed