How to get a copy of someone else's pull request
Suppose that a writer is away for some reason, such as PTO, and you need to make changes to their PR and get it merged.
On GitHub, find the PR, go to the other user's fork, and copy the URL of their fork and paste it into the following command:
```
git remote add
```
For example, enter:
```
git remote add souvik git@github.com:sounix000/openshift-docs.git
```
Create a working branch:
```
git status
git checkout -b
```
For example, enter:
```
git status
git checkout -b RHDEVDOCS-3307
```
On GitHub, return to the PR, copy the name of the other user's working branch, and paste it into the following command:
```
git pull
```
For example, enter:
```
git pull souvik resource-quota-for-pipelines-RHDEVDOCS-3307
```
Verify that you can see changes from their PR.
Make your changes.
When you're ready, push the changes by entering:
```
git push origin HEAD
```
Visiting the URL shown in the command output to create a pull request for your working branch on GitHub.
