git_stuff.md

Fetch PR from remote and store locally:
git fetch origin pull/2848/head:my_branch