enabled an automatic merge when the pipeline for 0753f9f9 succeeds
By Nils Olof Paulsson on 2020-11-17T11:05:49 (imported from GitLab)
mentioned in commit 9a0bc5e4
By Nils Olof Paulsson on 2020-11-17T11:05:57 (imported from GitLab)