Ich dachte mir, dass nach einem git rm beim nächsten git commit/git push origin master die gelöschte Datei nicht mehr in der neuen Version auf github zu sehen ist.