Integrated: 1658: Minimize race window when updating PR body

Zhao Song zsong at
Wed Nov 30 18:24:27 UTC 2022

On Tue, 8 Nov 2022 21:43:02 GMT, Zhao Song <zsong at> wrote:

> Currently, when the pr bot tries to update the PR body, users are also likely to update the PR body at the same time. Therefore, users' updates are likely to be overwritten by bot.  
> This is a race between the bot and user and the race window is a little big right now.
> To reduce the race window, in this patch, when PR bot is trying to update PR body, it will check whether the PR body has been modified by user. And if the PR bot has been modified, PR bot would not overwrite it.

This pull request has now been integrated.

Changeset: 50b9be3e
Author:    Zhao Song <zsong at>
Stats:     62 lines in 2 files changed: 59 ins; 0 del; 3 mod

1658: Minimize race window when updating PR body

Reviewed-by: erikj



More information about the skara-dev mailing list