git hints
Some hints for git cli
1. fetch PR into current branch
git fetch origin refs/pull-requests/<PR-id>/from:new-branch-name
Some hints for git cli
1. fetch PR into current branch
git fetch origin refs/pull-requests/<PR-id>/from:new-branch-name