Skip to content

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

Markus Scheidgen requested to merge github into develop

Changelog: Fixed

Merge request reports