Re: RFC: Github PR bot questions

[Johannes Berg <johannes@sipsolutions.net>]

On Wed, 2021-06-16 at 13:18 -0400, Konstantin Ryabitsev wrote:
> 
> - the bot should (eventually) be clever enough to automatically track v1..vX
>   on pull request updates, assuming the API makes it straightforward


> - We can *probably* track when patch series get applied and auto-close pull
>   requests that are accepted -- but it's not going to be perfect (we'd
>   basically be using git-patch-id to match commits to pull requests). Or is it
>   better to auto-close the pull request right after it's sent to the list with
>   a message like "thank you, please monitor your email for the rest of the
>   process"? The latter is much easier for me, of course. :)

Those two conflict, no? I mean, if you close it, then there won't really
be a v2/vX?

Given that many (if not most) patch series require a v2 or more, it
would seem closing it immediately would be a bit confusing, and then
what do you even do to get a v2?

johannes