enabled an automatic merge when the pipeline for 0e775ba7 succeeds
mentioned in commit f5587e92
merged
mentioned in issue ghc#14981