<div dir="ltr">Hey all,<br><br>Following the "Rights to merge Pull Request even if CI is red" discussion, we've now disabled the Github rules requiring PRs to pass tests prior to merging. <div><br></div><div>By doing this we've now effectively shadow-broken Github's auto-merge facility.</div><div><br></div><div>🚨🚨🚨***If you click that button now, the PR will merge EVEN IF IT HAS BROKEN TESTS***. Just don't ever click that button anymore.🚨🚨🚨</div><div><br></div><div>(Unfortunately there's no way to actually disable this functionality on a repo, so we just have to live with this risk)</div><div><br></div><div>Nyall</div></div>