A full timeline of PR events would be useful

[xmo-odoo]

Select Topic Area

Product Feedback

Body

Webhooks work OK, but sometimes hook events get lost (server bug, connectivity issue, github not sending the event, ...), or get delivered in the wrong order.

In that case, while the github-defined state (head commit, target branch, labels, title, ...) is easy to resync, it may not be possible to resync state which is not part of github because the interweaving of events can matter (e.g. a command provided via a comment gets cancelled by a SYNCHRONIZE event, or a comment got edited and its original command is now unavailable, that sort of things).

In that case, it would be useful if there was a PR endpoint from which an integration could just read the entire timeline of PR events (possibly the webhooks themselves, but a subseted form of the webhook payload would likely be more than enough), to ensure a complete resync. Github seems to have that information in the backend since it displays most of the events in the PR timeline.

This would also be useful when adding an integration to a github repository, as it might be able to e.g. migrate from a previous integration it replaces, or something more ad-hoc.