[core-workflow] Spelling out a suggested local workflow for sending PRs?