Often needed little bits of git knowledge that I tend to forget.

Check out the contents of a GitHub PR

From: https://devopscube.com/checkout-git-pull-request/

git fetch origin pull/15/head:test-branch

This will fetch the PR number 15 from GitHub, and have it available in the local branch test-branch.