03 Jul 2022
See also:
!learning/git
Get Started
GitHub "Hello World"
Github's own "get started" is a good starting place - though I realised this later in the game.

Clearing a Github repo
without deleting it. Use case: static generator leaves deleted or renamed articles as HTML behind, thus impacting SEO.
git init
git add .
git commit -m 'Initial commit'
if the above alone does not work, add:
git remote add origin [repo_address]
git push --mirror --force
from: https://gist.github/stephenhardy/5470814
Misc
I have started starring repos I like.
See:

There are two main reasons why people star GitHub projects:
1. Bookmarks
1. Show support or appreciation
Troubleshooting
05 Sep 2022
git push hangs after Total line

git config --global http.postBuffer 157286400
worked for me.
Also, in the case of pushing my static site with Pelican, deactivating pelican -r
(auto-refresh) to avoid any updates while Git is pushing.