On Sunday, 27 October 2024 at 01:57:28 UTC, Elias (0xEAB) wrote: > On Sunday, 27 October 2024 at 01:25:58 UTC, monkyyy wrote: >> would odds of success would you expect? > > Higher ones than in the case where there is no PR to merge in > the first place. Invalid format please pick a number between 0-100