UX Request: Fighting with bots over the first comment

[Aleksey Shipilev]

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.

What do you think?

-- 
Thanks,
-Aleksey