util: More doc for the Gerrit bot, add padding time to query age
authorHoa Nguyen <hoanguyen@ucdavis.edu>
Tue, 1 Dec 2020 05:11:12 +0000 (21:11 -0800)
committerHoa Nguyen <hoanguyen@ucdavis.edu>
Tue, 8 Dec 2020 07:32:26 +0000 (07:32 +0000)
commit6d6e3ab5420ea42a284ed1c89fc34eb1cfbf796d
tree329c90ba1560eb01a4e91aec2cd3762971329ab5
parent4e2216d68b14e51351c6c87708820fdeac1f1608
util: More doc for the Gerrit bot, add padding time to query age

The following changes were made:
- Improve the wording of comments in the Python files and of the
documentation in the README file.
- Add 10 seconds to the query age so that the bot wouldn't miss
any new changes that could be missed due to time difference between
the Gerrit server and the bot.

Change-Id: Ic75f9572653a248230a8b4b0bd360a8d22efd371
Signed-off-by: Hoa Nguyen <hoanguyen@ucdavis.edu>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/38155
Maintainer: Jason Lowe-Power <power.jg@gmail.com>
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Jason Lowe-Power <power.jg@gmail.com>
util/gerrit-bot/README.md
util/gerrit-bot/bot.py [changed mode: 0644->0755]