sync repos

[gicking]

hi Michael,
after messing around I now cleaned up my repo, so it's a 100% copy of your original (or so it should be). Can you please check and, if this is correct, accept this pull request. Afterwards I will then add my (minor) changes. Thanks in advance!
Georg

[tenbaht]

On Mon, 19 Nov 2018 01:25:56 -0800 Georg Icking-Konert ***@***.***> wrote: hi Michael, after messing around I now cleaned up my repo, so it's a 100% copy of your original (or so it should be). Can you please check and, if this is correct, accept this pull request. Afterwards I will then add my (minor) changes. Thanks in advance! Georg You can view, comment on, or merge this pull request online at: #66

Ja, kann ich gerne machen. Aber das ist jetzt nur eine 100% Kopie ohne irgendwelche Ergänzungen? Dann ziehe ich doch nur die Geschichte der Hin-und-Her-Änderungen mit rein, aber keine inhaltlichen Verbesserungen? Wäre es dann nicht einfacher, das Repro zu löschen und als neuen Fork frisch aufzusetzen? (Bitte nicht aufgeben! Ich experimentiere hier auch noch!) Ich weiß, das hattest Du schon vorgeschlagen. Aber da waren doch ein paar Ergänzungen, die Du vorbereitet hattest und die mit rein sollen, die würden verloren gehen. Was ist mit denen passiert? Hast Du die jetzt rauseditiert um sie später wieder reinzueditieren? Ich kenne mich mit diesen Pull requests leider auch noch nicht richtig aus. Ich habe das ziemlich sichere Gefühl, dass wir hier den maximal komplizierten Weg gehen. Eigentlich soll das System helfen und nicht im Weg stehen. So habe ich den Ablauf verstanden: - Du machst einen Fork und entwickelst etwas neues. - Dir fällt irgendwann auf, dass Du das gerne als Pull request schicken würdest, es ist aber mit anderen Änderungen, die nicht zum Thema gehören, vermischt. Also entwirren: - einen alten Stand vor der ersten Änderung, die Du gerne teilen möchtest auschecken und als neuen Branch markieren: git checkout -b <branch-name> <commit-id> - Jetzt die Änderungen auspicken, die in den Pull request sollen: git cherry-pick <commit-id> - Falls ein commit Dinge enthält, die nicht mit rein sollen, den letzten commit mit rebase editieren. Da gibt es Dokus zu: git rebase -i ^HEAD (das geht, weil es nur auf Deinem privaten Branch auf Deinem Rechner passiert. Wenn der branch schon gepusht ist, macht ein rebase keinen Sinn mehr. Dann hilft nur ein neuer commit, der die unerwünschten Änderungen wieder zurück nimmt) Jetzt sollte es einen Branch geben, der nur das gewünschte enthält und der auf einem gemeinsamen Zustand basiert. Dafür dann ein pull request und rein damit! Vermutlich geht es auch ohne branch, denn Du kannst auch einzelne commits gezieht raussuchen und zu einem pull request zusammenhängen. Das dürfte der einfachste Weg sein. Vielleicht muss ich das selber mal in einem Dummy-Repro durchspielen. Bitte nicht frustrieren lassen! Ich will Deine Änderungen einbauen, weiß nur noch nicht so richtig, was der passende Weg ist! Michael

[gicking]

as proposed I will create a new fork