This version of GitHub Enterprise was discontinued on 2021-06-09. No patch releases will be made, even for critical security issues. For better performance, improved security, and new features, upgrade to the latest version of GitHub Enterprise. For help with the upgrade, contact GitHub Enterprise support.

Deleting files in a repository

You can delete an individual file in your repository on GitHub Enterprise Server.

People with write permissions can delete files in a repository.

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. For more information, see "About 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. For more information, see "Removing sensitive data from a repository."

Deleting a file

  1. Browse to the file in your repository that you want to delete.

  2. At the top of the file, click .

  3. At the bottom of the page, type a short, meaningful commit message that describes the change you made to the file. You can attribute the commit to more than one author in the commit message. For more information, see "Creating a commit with multiple co-authors." Commit message for your change

  4. Below the commit message fields, decide whether to add your commit to the current branch or to a new branch. 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. For more information, see "Creating a new pull request." Commit branch options

  5. Click Propose file change. Propose file change button