stale-pr-revival
Bring an open, stalled pull request back to a mergeable state without rewriting its history — read every review surface, merge the base in, integrate what landed meanwhile, prove the core change red/green, and update the PR's own body and comments. Covers bot version-bump PRs and base retargeting; the merge itself stays behind the merge briefing.
Pinned to revision 0a004c9982ae, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.