Issue remaining on main dashboard

[xmo-odoo]

Staging 129883 was cancelled by one of the PRs being updated (odoo/documentation#13019), the PR is visible in the backend but not in the frontend.

The PR was closed then reopened, might have been some sort of batch mismatch (fixed by closing and reopening) but it still probably shouldn't cause the batch to disappear from the frontend... Staging 129882 might offer more information (to check).

(note to self: "zip" file is actually an age-encrypted zstd tar file, using my github identity)
openerp.log.tar.zstd.age

[xmo-odoo]

After investigation, the display is correct: the PR was closed when the staging was, well, staged. It was reopened during staging (because it turned out to be necessary somehow), which led to the staging being cancelled.

The one confusing bit is that the message talks about updating the PR, because that is the back-channel used to cancel a staging when a PR is reopened and part of a staged batch (cf c8a0660, 62fbda5). This could be improved for clarity.