Skip to content

branch.py: Tolerate intermittent request failure during Gerrit polling

Dduvall requested to merge main-I2cc5e8aadc0c5f1c86ef2243435d96590229db67 into main

When waiting for the mediawiki/core change to merge, requests are made
to Gerrit every 5 seconds for up to an hour. Prior to this change, one
request failure would cause the entire process to fail.

To achieve a more fault tolerant polling process, allow consecutive
request failures for up to a shorter timeout of 1 minute, and reset the
failure timeout upon any successful request.

Merge request reports