Closed Ingo-FP-Angel closed 6 years ago
Habs gefixed. Hatte zum Glück auf meinem PC den vorherigen Datenstand. :)
PS.: @Ingo-FP-Angel Ich finde die Merge-Commits nicht mehr so schön, also schlage ich vor, dass wir direkt committen und nicht erst einen PR öffnen, bzw. ohne extra Merge-Commit mergen.
Oh Mist, sorry!
Was ich geplant hatte war
Es sah erstmal alles richtig aus. Gesetzt den Fall, die Schritte oben sind grundsätzlich richtig. Mir ist noch nicht ganz klar, an welcher Stelle was passiert ist, dass das Problem aufgetreten ist.
Ansonsten, stimme ich zu, auf meinem Fork zu arbeiten und von dort zu mergen, scheint eine extra Schleife zu sein, die wir uns sparen können.
Das sollte das richtige sein, bin mir aber auch nicht sicher: https://stackoverflow.com/questions/13781388/git-discard-all-changes-and-pull-from-upstream
In unserem Fall
git reset --hard upstream/gh-pages
-- Diese Nachricht wurde von meinem Fairphone mit K-9 Mail gesendet.
Am 17. Mai 2018 08:47:06 MESZ schrieb Ingo-FP-Angel notifications@github.com:
Oh Mist, sorry!
Was ich geplant hatte war
- Letzte Änderungen vom upstream in meinen Fork holen
- laut "git status" war ich damit lokal in meinem Fork 2 Commits vor meinem origin; das habe ich dann erstmal gepusth
- dann Änderungen gemacht, lokal getestet, committed und in mein origin gepusht
- anschließend der Pull Request ins upstream
- kurz drauf hatte ich dann auch mal auf der finalen Map geprüft, dass der neue Termin da sichtbar war
Es sah erstmal alles richtig aus. Gesetzt den Fall, die Schritte oben sind grundsätzlich richtig. Mir ist noch nicht ganz klar, an welcher Stelle was passiert ist, dass das Problem aufgetreten ist.
Ansonsten, stimme ich zu, auf meinem Fork zu arbeiten und von dort zu mergen, scheint eine extra Schleife zu sein, die wir uns sparen können.
Ingo, du musst ein bisschen mit den Commits aufpassen. Du hast Commits gemerged, die schon vorhanden waren.
Scheinbar hast du nicht die aktuellsten Daten mit
git pull
geholt oder es gab Konflikte