Ein Bekannter hat sein Leid geklagt, dass er komische Daten parsen und verarbeiten muss. Als er mir das Problem geschildert hat, wusste ich sofort, dass man das nicht sinnvoll mit regulären Ausdrücken lösen kann - bzw. ich möchte das nicht. Ich habe schnell gesagt, da muss man mit einer Grammatik ran. ich habe mir ein paar Beispiele geben lassen und habe mich ran gesetzt. In der Uni habe ich mit Eli gearbeitet, das Tool was schon damals “angestaubt”, also habe ich nach einer Alternative in python gesucht.
Bei Github gibt es leider keine Möglichkeit, dass man fremde git-Repositories spiegeln kann. Das hat zur Folge, dass man von Github aus spiegelt oder man muss zu Github pushen. Es gibt verschiedene Gründe, weswegen man Github nicht als das zentrale Repository nehmen möchte. Also muss man die Änderungen aktiv zu Github schieben. Zusätzlicher Remote Die offensichtlichste Möglichkeit ist, dass man eine zusätzlichen Remote hinzufügt. git remote add github <github repo URL> git push github Man muss aber immer daran denken, dass man auch zu Github pushen muss.