homu icon indicating copy to clipboard operation
homu copied to clipboard

Deleting a branch should not cancel the merge if testing is started

Open Eh2406 opened this issue 7 years ago • 0 comments

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.

Eh2406 avatar Mar 29 '18 18:03 Eh2406