ドキュメントには頻繁に更新が加えられ、その都度公開されています。本ページの翻訳はまだ未完成な部分があることをご了承ください。最新の情報については、英語のドキュメンテーションをご参照ください。本ページの翻訳に問題がある場合はこちらまでご連絡ください。

このバージョンの GitHub Enterprise はこの日付をもって終了となりました: 2021-02-11. 重大なセキュリティの問題に対してであっても、パッチリリースは作成されません。 パフォーマンスの向上、セキュリティの改善、新機能のためには、最新バージョンのGitHub Enterpriseにアップグレードしてください。 アップグレードに関する支援については、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. 詳しい情報についてはプルリクエストについてを参照してください。

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. 詳細は「機密データをリポジトリから削除する」を参照してください。

Deleting a file

  1. リポジトリ内で削除対象のファイルを見つけます。

  2. ページの上部で、次をクリックします。 .

  3. ページの下部で、ファイルに対して行った変更を説明する短く分かりやすいコミットメッセージを入力してください。 コミットメッセージでは、複数の作者にコミットを関連づけることができます。 詳しい情報については「複数の共作者を持つコミットの作成」を参照してください。

    変更のコミットメッセージ

  4. コミットメッセージフィールドの下で、コミットを追加を現在のブランチか新しいブランチから選択してください。 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. 詳しい情報については「新しいプルリクエストの作成」を参照してください。

    コミットブランチのオプション

  5. [Propose file change] をクリックします。

    ファイル変更の提案ボタン