Contributors mailing list archives


Re: RFC: Close unanswered PR after 6 months

Opener B.V., Stefan Rijnhart
- 07/09/2015 10:53:53
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.