Contributors mailing list archives
Re: RFC: Close unanswered PR after 6 monthsby
Opener B.V., Stefan Rijnhart
On 07-09-15 10:08, Lionel Sausin wrote: > Would we be allowed to re-open them? On Github, it seems to work like this: if anyone else than the author has closed the PR, and the author does not have commit rights on the repository, then the author cannot reopen the PR. But the author can of course simply create a new PR and refer to the old PR in a comment that also explains why the PR should be reconsidered. Regards, Stefan.