On Wed, Jun 16, 2021 at 7:55 PM Konstantin Ryabitsev <konstantin@xxxxxxxxxxxxxxxxxxx> wrote: > > Unless I'm misreading the docs, the submitter should be able to reopen the > closed pull request, so it's not a permanent action. This may actually make it > easier to track things for v1/v2, since we wouldn't need to continuously poll > open pull requests to see if any of them changed. For versioning, what I request at the moment is that people force-push their PR, overwriting the previous set of commits, rather than sending a new PR. Then people write in the GitHub-PR-message (which we use as the cover letter) the diff/updates, if any. The bot detects changes and pushes a new review every time, and hides its own past messages (i.e. for previous versions). Cheers, Miguel
