On Jan 21, 2019, at 15:07, Antoine Pitrou email@example.com wrote:
A potential explanation: the original PR title was formatted as "bpo-XXXXXX : ..." (note the space before the colon). I fixed it to "bpo-XXXXX: ..." but the bot didn't run again. Perhaps that's related?
Possibly, if you modified the news entry while the other CI checks were still running? I guess you could force the whole CI process to run again by closing and re-opening the PR. Or a release manager could override it with an appropriate bribe.
-- Ned Deily firstname.lastname@example.org --