chore: add migrate-pr script, skill, and docs#920

kayibal wants to merge 3 commits into

mainpropeller-heads/tycho:mainfrom

chore/migrate-pr-toolingpropeller-heads/tycho:chore/migrate-pr-toolingCopy head branch name to clipboard