enabled an automatic merge when the pipeline for 8d77f833 succeeds
mentioned in commit a863ad21
merged