Changes between Version 75 and Version 76 of WorkingWithGit

Timestamp:

Feb 6, 2017, 8:28:26 PM (7 years ago)

Author:

mkae (Marko Käning)

Comment:

Describe how to work on someone's PR

WorkingWithGit

@@ -244 +244 @@
 
 
+=== Working with someone else's pull request through its ID ===
+
+This section describes how to work on a PR without the need to clone or pull from the PR author's repository. 
+
+Check out - according to [https://help.github.com/articles/checking-out-pull-requests-locally/ GitHub's help] - the pull request {{{#ID}}} to work on as a local branch {{{BRANCHNAME}}}:
+{{{
+git fetch origin pull/ID/head:BRANCHNAME
+git checkout BRANCHNAME
+}}}
+then work an it as needed, commit and finally decide where to push the changes made, e.g. by
+{{{
+git fetch upstream master
+git checkout master
+git merge BRANCHNAME
+git push upstream master
+}}}
 
 
@@ -306 +322 @@
 - [https://git-scm.com/doc Git Documentation]
 - [https://help.github.com GitHub Help]
+- [https://help.github.com/articles/checking-out-pull-requests-locally/ Checking out GitHub pull requests]
 - [https://git-scm.com/documentation/external-links Git's list of external resources]
 - [https://help.github.com/articles/good-resources-for-learning-git-and-github GitHub's list of external resources]