Git Notes

Modifying a pull request

git remote add [pr_username] git@github.com:[pr_username]/[reponame]
git fetch [pr_username]
# make your commits
git push