On Wed, Jun 16, 2021 at 08:13:55PM +0200, Miguel Ojeda wrote: > 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). In Jenkins that gives you /1 /2 /3 etc versions, but IIRC doesn't doing this in github lead to lost commits?
