added type::bug label
enabled an automatic merge when the pipeline for a8f7c79d succeeds
merged
mentioned in commit 244d300d