Approach to take:
Some things just have to be yummy.
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)
I like this. It allows me to build a heater with items I already have: https://www.youtube.com/watch?v=WT9xWyLK-Ic
For Tokens:
https://techglimpse.com/git-push-github-token-based-passwordless/
For SSH:
Oh, since I viisted Harry's House of Pain while doing this I will share this:
https://gist.github.com/xirixiz/b6b0c6f4917ce17a90e00f9b60566278 [SSH keypair setup for GitHub (or GitHub/GitLab/BitBucket, etc, etc)] and honourable mention: https://linuxkamarada.com/en/2019/07/14/using-git-with-ssh-keys/
. I had a problem when I ran git config --global commit.gpgsign true
and had to set it to false git config --global commit.gpgsign false)
Go to: https://github.com/settings/keys
GitHub's Tutorial: https://docs.github.com/en/authentication/connecting-to-github-with-ssh/about-ssh
Maybe this is useful someday: https://git-scm.com/book/en/v2/Git-on-the-Server-Setting-Up-the-Server