feat: implement issue #647 — dev-lead: rebase requested via @mention (on-mention intent) fails to push — non-fast-forward, no force-with-lease - #648

feat: implement issue #647 — dev-lead: rebase requested via @mention (on-mention intent) fails to push — non-fast-forward, no force-with-lease#648

don-petry wants to merge 5 commits into

mainpetry-projects/.github-private:mainfrom

dev-lead/issue-647-20260613-1931petry-projects/.github-private:dev-lead/issue-647-20260613-1931Copy head branch name to clipboard