git

git-intro.pdf
Super Erklärung von git pull und Konsorzen, mit Katzen: https://girliemac.com/blog/2017/12/26/git-purr/

Einführungen / Tutorials

Hinweis: git braucht eine Identität, damit Änderungen nachvollziehbar sind. Sie können hier auch ein Pseudonym verwenden. Solange Sie nur lokal arbeiten (d.h. nichts auf GitHub hochladen), spielt das keine Rolle.

git config --global user.name "Rockstar Programmer"
git config --global user.email rockstar@programmer.com

GitHub Account

Besser nicht mit ksbg-Account (werden Sie in knapp 2 Jahren unwiderruflich verlieren). Aber hey, Microsoft-Cloud ist schliesslich gut und GitHub gehört auch zu Microsoft.
Klarnamen oder Pseudonym?
- Im Zweifelsfalle Pseudonym, auch für e-mail Adresse.
- Klarnamen werden für immer gefunden und «gegoogelt» werden. Kann in diesem Fall aber auch positiv sein, im Sinne von «Tu Gutes und sprich darüber».
ssh-key generieren (Linux):

ssh-keygen -t ed25519

https://docs.github.com/en/github/authenticating-to-github/connecting-to-github-with-ssh/adding-a-new-ssh-key-to-your-github-account
Lokale git config anpassen (wenn das Klonen über https erfolgt):

git remote remove origin
git remote add origin git@github.com:techlabksbg/t-watch.git
git pull

Sonst in Zukunft gleich mit git@github.com:… klonen, dann muss das nicht mehr eingestellt werden.
Der Fingerprint vom Server muss noch akzeptiert werden (und eigentlich überprüft werden, siehe https://docs.github.com/en/github/authenticating-to-github/keeping-your-account-and-data-secure/githubs-ssh-key-fingerprints)