Rewrite a merged pull request's head-branch links as commit permalinks, so they keep working after the branch is deleted
documentation automation pull-request pull-requests permalink prs permalinks dead-links pr-automation github-actions link-rewriting permalink-converter pull-request-automation github-permalink link-fixer pr-permalinks pull-request-permalinks pull-request-permalink pr-permalink github-permalinks
-
Updated
Nov 2, 2026 - Python