git fetch origin pull/ID/head:BRANCHNAME git checkout BRANCHNAME // make changes git push origin pull/ID/head