added TypeBug label
enabled an automatic merge when the pipeline for e92b3b0f succeeds
mentioned in commit 8b53f6a5
merged