take-over-pr

Take over a stale or abandoned PR. Checks out the work, merges main, deep-reviews the code, addresses all review comments, then re-creates a clean PR crediting the original author.

Independent GitHub snapshot · Automated classification · Original documentation governs