When an person approves a pull request, Hoff posts a series of comments on the pull request about its progress. This results in many notifications being sent to people involved in the pull request.
Instead, Hoff could remember the ID of the comment it posted, and append to the comment as more progress is made. Only when a person re-approves a pull request should a new comment be posted.
Before:
ruuda @<!-- -->OpsBotPrime merge
OpsBotPrime Pull request approved by @<!-- -->ruuda, rebasing now.
OpsBotPrime Rebased as
1234567, waiting for CI …
OpsBotPrime The build failed.
ruuda @<!-- -->OpsBotPrime merge
OpsBotPrime Pull request approved by @<!-- -->ruuda, rebasing now.
OpsBotPrime Rebased as
9abcdef, waiting for CI …
OpsBotPrime merged commit
9abcdefintomaster
After:
ruuda @<!-- -->OpsBotPrime merge
OpsBotPrime Pull request approved by @<!-- -->ruuda, rebasing now. Rebased as
1234567, waiting for CI … The build failed.
ruuda @<!-- -->OpsBotPrime merge
OpsBotPrime Pull request approved by @<!-- -->ruuda, rebasing now. Rebased as
9abcdef, waiting for CI …
OpsBotPrime merged commit
9abcdefintomaster