4 ms·
And if GH deletes, and anyone else opens a new PR like you did, then those commits would remain until a second GH admin intervened, and so on?
by jonahx 6y ago
And if GH deletes, and anyone else opens a new PR like you did, then those commits would remain until a second GH admin intervened, and so on?