Document Pipeline
- rm gitlabci.yaml
- Document pipeline configuration
added Content New + 1 deleted label
assigned to @mflehmig--tu-dresden.de
mentioned in merge request !818 (merged)
mentioned in commit 6d0ce6e3
closed with merge request !818 (merged)