====== git ======
  * {{lehrkraefte:blc:informatik:ffprg2-2021: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.
<code bash>
git config --global user.name "Rockstar Programmer"
git config --global user.email rockstar@programmer.com
</code>
  * https://lerneprogrammieren.de/git/
  * https://www.youtube.com/watch?v=elh1y6laO8I

=== 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):
<code bash>
ssh-keygen -t ed25519
</code>
  * 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):
<code bash>
git remote remove origin
git remote add origin git@github.com:techlabksbg/t-watch.git
git pull
</code>
  * 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)