Es gab heute eine github.com-Ausfallzeit, von der ich nichts wusste, bis ich ungefähr ein Dutzend lokale Commits durchführte.

Hier ist die Nachricht, die ich erhalten habe, als ich versucht habe, auf github.com zu pushen

remote: Unexpected system error after push was received.
remote: These changes may not be reflected on github.com!
remote: Your unique error code: abcdefghijklmnopqrstuvwxuz

Nun, github.com ist wieder online, wenn ich den Projekt-Commit-Verlauf online betrachte, kann ich diese Dutzend Commits sehenwurden nicht hochgeschoben zum Repo.

Ich dachte, ich könnte diese Änderungen einfach mit @ wiederholegit push origin master, aber mir wird gesagt,Everything up-to-date. Ähnlich eingit pull origin master zeigt auchEverything up-to-date.

Wie kann ich diese lokalen Änderungen in mein Repo auf github.com übertragen lassen