3 ms·
I recently learned that you can do git fetch origin pull/⟨PR id⟩/head:pr-⟨PR id⟩ && git checkout pr-⟨PR id⟩ (but hub is nicer of course)
by lelf 7y ago
I recently learned that you can do
git fetch origin pull/⟨PR id⟩/head:pr-⟨PR id⟩ && git checkout pr-⟨PR id⟩
(but hub is nicer of course)