UX Request: Fighting with bots over the first comment

[Magnus Ihse Bursie]

On 2020-11-16 13:06, Aleksey Shipilev wrote:
> Hi,
>
> Recently I found myself participating in edit wars with OpenJDK bots 
> over the first PR comment.
>
> See the edit history for this comment, for example:
>   https://github.com/openjdk/jdk/pull/1220#issue-521558406
>
> I think it would be a much better UX if bots did not get into the way.
>
> Off the top of my head, I see the following options:
>  *) Make sure bots are not updating the first comment frequently. Say, 
> with 30 second cooldown? This gives user a window to reapply and 
> commit the changes to first comment before bots clash.
>  *) When bots experience the edit conflict, let them back off for a 
> few minutes, allowing user edits to continue?
>  *) Radical: make bots to post their own comment (hopefully a second 
> one in PR), and update that one instead.
I like your radical idea. There is already the "Welcome back" post by 
bridgekeeper (which does not convey much information for us recurring 
developers). I think it would be better if the bots updated this comment 
instead. (With the possible exception of the checklist, since a summary 
of that is presented in the overview, and I assume this is only for 
checkmark items that are present in the main description.)

/Magnus
>
> What do you think?
>