Checking pipeline status.
added 1 deleted label
enabled an automatic merge when the pipeline for a4f13542 succeeds
mentioned in commit 5d474821
merged
