You can pull the branch to your local copy, and make your modification. After that, copy the output of git diff
and paste to GitHub as follows.
```diff
your diff file contents
```
You can pull the branch to your local copy, and make your modification. After that, copy the output of git diff
and paste to GitHub as follows.
```diff
your diff file contents
```