(name of branch is unrelated to change)
enabled an automatic merge when the pipeline for 0602b91a succeeds
mentioned in commit 8ff7c816
merged