git rm löscht die Datei aus dem lokalen Repo.
Nach einem commit und push auf master existiert die Datei dann auch nicht mehr im remote Repo.
Wenn doch spinnt github.coms Webanwedung bei der Anzeige.