Merge pull request #441 from pep-dortmund/git_exercise

update git exercise text

exercises-toolbox/6-git/aufgabe.txt

@@ -19,34 +19,36 @@ github.com verwenden.
    entsprechende URL ersetzen würde. Wir haben "repo" lediglich beigelegt,
    damit ihr jetzt keine Accounts erstellen müsst. Später werden wir mit dem
    "repo" so kommunizieren als wäre es ein externes Repository (git pull/git
-   push)
+   push).
 
 2. Schaue dir die Dateien im Repository an. Erzeuge 2 Plots, indem du "make" in
-   deiner Kopie des Repositories ausführst
+   deiner Kopie des Repositories ausführst; weiteres zu make kommt am Ende des
+   Workshops.
 
-4. Mache beliebige Änderungen an den Dateien "plot1.py" und "plot2.py" (Ändere
+3. Mache beliebige Änderungen an den Dateien "plot1.py" und "plot2.py" (Ändere
    z.B. die Farben der eingezeichneten Linien) und erzeuge die Plots durch
-   Ausführen von "make"
+   Ausführen von "make".
 
-5. Führe "git status" aus, um dir anzusehen, welche Dateien du geändert hast.
+4. Führe "git status" aus, um dir anzusehen, welche Dateien du geändert hast.
    Führe "git diff" aus, um dir die Änderungen Zeile für Zeile anzeigen zu
    lassen.
 
-6. Füge die Änderungen zum Index hinzu (git add ...) und speichere den Index
-   als neuen commit in der History ab. (git commit -m "...")
+5. Füge die Änderungen zum Index hinzu (git add ...) und speichere den Index
+   als neuen commit in der History ab (git commit -m "...").
 
-7. Übertrage deinen commit mittels "git push" in das "repo"-Repository.
+6. Übertrage deinen commit mittels "git push" in das "repo"-Repository.
 
-8. Mache mittels "git clone" eine weitere Kopie von "repo". Diese Kopie sollte
+7. Mache mittels "git clone" eine weitere Kopie von "repo". Diese Kopie sollte
    deine letzten Änderungen enthalten. Prüfe mittels "git log", ob das der Fall
    ist.
 
-9. Wiederhole 4. bis 7. in der zweiten Kopie. Hier wollen wir simulieren, dass
-   mehrere Leute am selben Repository arbeiten.
+8. Wiederhole Schritte 4. bis 7. in der zweiten Kopie. Hier wollen wir
+   simulieren, dass mehrere Leute am selben Repository arbeiten.
 
-10. Immer wenn du Änderungen aus dem einen Repository mit "git push"
-    hochgeladen hast, kannst du sie mit "git pull" aus dem anderen
-    herunterladen. Teste, ob das reibungslos funktioniert.
+9. Immer wenn du Änderungen aus dem einen Repository mit "git push"
+    hochgeladen hast, kannst du sie mit "git pull" im anderen herunterladen.
+    Teste, ob das reibungslos funktioniert.
 
-11. Bonus: Versuche einen merge conflict herbeizuführen, indem du in beiden
-    deiner Kopien dieselbe Zeile änderst und 10. wiederholst.
+10. Bonus: Versuche einen merge conflict herbeizuführen, indem du in beiden
+    deiner Kopien dieselbe Zeile änderst und 9. wiederholst. Kannst du den
+    merge conflict lösen?