PR description after a rebase — re-summarizing

You've just finished a complex feature, crafted a beautiful pull request description, and are ready for review. Then, the inevitable happens: main has move