added bug label
enabled an automatic merge when the pipeline for d7f4ebb0 succeeds
merged
mentioned in commit 164d1cdb