closes #38 (closed)
enabled an automatic merge when the pipeline for 3f52ba1d succeeds
mentioned in commit eeb68baf
merged