[henryfjordan]

Why jump to a merge queue? Github has had a feature to grey-out the merge button if the tests aren't passing for years.