Notes for GitHub

 Git Branching, Git Merging:

https://www.varonis.com/blog/git-branching/

How to add a commit to an existing pull request:

https://saraford.net/2017/01/20/how-to-add-changes-to-a-pull-request-after-you-have-already-created-a-pull-request-020/


Add to an existing pull request:

https://github.com/github/hub/issues/198


Committing to someone else's pull request:

https://tighten.co/blog/adding-commits-to-a-pull-request/

(this fails because I do not have access rights)