Vom GitHub Client vergessene Dateien, die noch zu löschen sind.