homu
homu copied to clipboard
Deleting a branch should not cancel the merge if testing is started
Cargo just had another instance of this, @djc deleted there branch after it was merged with auto and testing had started. This cancelled the merge. Eather the queue should be independent from the openness of PR's or at least bors should mention if testing was canceled.