Various minor improvements by Lisa
This is !22 (closed) , with a bit of cleanup from my side.
Merge request reports
Activity
mentioned in merge request !22 (closed)
enabled an automatic merge when the pipeline for ebe0dd2e succeeds
mentioned in commit 83faa6a8
Please register or sign in to reply