[jackkinsella]

Thanks for your comment. I've been lucky enough not to be hit by these scenarios yet. One thing that might help is that we encourage short-lived PRs (ideally 1 day, max 1 week) so divergences from master tend to be smaller.

N is not huge though - looking at our operations logs, I think we ran this script only about 35 times in 3 years.