About file deletion
You can delete an individual file in your repository.
If you try to delete a file in a repository that you don’t have write permissions to, we'll fork the project to your user account and help you send a pull request to the original repository after you commit your change. Weitere Informationen findest Du unter „Informationen zu Pull Requests.“
If the file you deleted contains sensitive data, the data will still be available in the repository's Git history. To completely remove the file from GitHub Enterprise Server, you must remove the file from your repository's history. Weitere Informationen finden Sie unter „Sensible Daten aus einem Repository entfernen“.
Deleting a file
-
Navigiere zu der Datei in Deinem Repository, die Du löschen möchtest.
-
At the top of the file, click .
-
Am Ende der Seite schreibe eine kurze, aussagekräftige Commit-Mitteilung, welche die Änderung beschreibt, welche Du an der Datei vornimmst. Du kannst den Commit in der Commit-Mitteilung mehr als einem Autor zuordnen. Weitere Informationen findest Du unter "Erstellen eines Commit mit mehreren Co-Autoren"
-
Lege unter den Commit-Mitteilungsfeldern fest, ob Du Deinen Commit zum aktuellen Branch oder zu einem neuen Branch hinzufügen möchtest. If your current branch is the default branch, you should choose to create a new branch for your commit and then create a pull request. Weitere Informationen findest Du unter „Erstellen eines neuen Pull Requests."
-
Klicke auf Propose file change (Dateiänderung vorschlagen).
