Skip to content

Instantly share code, notes, and snippets.

@adelton
adelton / fetch-single-pull-request-from-github
Last active June 23, 2020 20:23
Fetch single pull request from github
In projects where I only participate in some small areas, I often want to fetch
or update just one (or few) particular pull request, without polluting my repo with the full
fetch = +refs/pull/*/head:refs/pull/origin/*
configuration. To do that, one-off command like
git fetch origin refs/pull/529/head:pr-529 -f
does the trick.