GitHub, Ausschlüsse und Rücknahmen

Git ist das Werkzeug zur Versionsverwaltung; GitHub ist ein Dienst, der unter anderem Remote-Repositories bereitstellt. Mit git clone kopierst du ein bestehendes Repository samt Geschichte lokal. git push überträgt lokale Commits an ein konfiguriertes Remote, sofern Berechtigungen und Geschichte passen. git pull holt Änderungen und integriert sie, je nach Einstellung etwa durch Merge oder Rebase. Konflikte sind möglich: Meldungen lesen und nicht blind weiterarbeiten. Ein Push ist nicht von sich aus die Veröffentlichung einer Website; eine zusätzliche Automatisierung kann das auslösen. Eine .gitignore hält passende, bisher nicht verfolgte Dateien aus der üblichen Git-Auswahl heraus. Bei C# sind die erzeugten Ordner bin/ und obj/ meist ausgeschlossen; dotnet new gitignore kann eine Vorlage erstellen. Bereits verfolgte Dateien bleiben trotz neuer Ignore-Regel verfolgt. Geheimnisse gehören nie ins Repository. Für eine veröffentlichte Änderung eignet sich häufig git revert: Es erstellt einen Gegen-Commit, die frühere Geschichte bleibt sichtbar. Nur für einen eigenen, noch nicht veröffentlichten letzten Commit mit Vorgänger betrachten wir git reset --soft HEAD~1: Der Branch geht zurück, Arbeitsdateien und Index bleiben erhalten. Die Änderung ist danach weiterhin vorgemerkt. Solche Rücknahmen zuerst in einem entbehrlichen Übungsrepository verstehen; bei gemeinsam genutzter Geschichte nicht ungefragt umschreiben.