Rename PR remote option to --pr-remote#106

Mariatta merged 1 commit into

python:masterpython/core-workflow:masterfrom

ncoghlan:rename-pr-remote-optionncoghlan/core-workflow:rename-pr-remote-optionCopy head branch name to clipboard