Nochmals, beim Reiter Files stehen die Dateien, die aktuell im aktuellen Zweig, hier dem master zu finden sind.

Aber ich konnte vorhin feststellen, dass manchmal trotz korrektem rm, commit und push das remote und lokale Repo nicht synchron waren.
Außerdem meckert mir github an, dass bestimme repos nicht erstellt werden konnten.
Vielleicht spinnt deren git-Server derzeit.