How to delete files uploaded by git

In the process of using git for code management, sometimes we upload some unnecessary files to the warehouse, and these files may occupy our precious warehouse space or interfere with the work of other developers. Therefore, it is particularly important to delete these unnecessary files. This article will introduce how to delete files uploaded by git.

Step one: Check the status of the git warehouse

Before deleting files, you need to check the status of the git warehouse to determine which files need to be deleted. Execute the following command on the command line:

git status

This command can display the status of the current warehouse, including which files have been modified, which files have been added to the git staging area (Index), and which files It has not been added to the repository yet. If there are files that need to be deleted, we need to remember their paths.

Step 2: Delete files from the repository

Git provides a very simple command for deleting files from the repository.

git rm <file_path>

Among them, <file_path> is the path of the file that needs to be deleted. For example, if we need to delete a file file.txt in the root directory of the current warehouse, we need to execute the following command:

git rm file.txt

If the file has been added to the git staging area, then You can use the following command to delete files from the staging area:

git rm --cached <file_path>

This command will only delete files from the staging area, but not from the local file system. This is also the biggest difference from the first command.

Step 3: Submit modifications

The file has been deleted, but the deletion still needs to be submitted to the warehouse. Execute the following command on the command line:

git commit -m "delete <file_path>"

Among them, <file_path> corresponds to the path of the file you deleted. Although the -m option in this command indicates the remark information filled in when submitting, in order to facilitate subsequent search and management, we still recommend writing the file path here.

Step 4: Push to the remote warehouse

The files in the local warehouse have been deleted, but if you have a remote warehouse, then you still need to push the deletion operation to the remote warehouse.

git push origin <branch_name>

Where, <branch_name> is the name of the branch you selected. This command will submit your local branch to the corresponding branch of the remote warehouse.

Summary

Usually, we need to remember two important commands: git rm, used to delete files from the warehouse; git push, used to push local branches to the remote warehouse . Of course, we also need to check the status of the warehouse from time to time through commands such as git status to ensure that our work is not affected by other developers, nor does it affect the work of other developers.

Of course, you can use the .gitignore file to ignore unnecessary files or folders, so that you can avoid uploading these files to a certain extent, but if they have already been uploaded, we need to use the above method to delete.

The above is the detailed content of How to delete files uploaded by git. For more information, please follow other related articles on the PHP Chinese website!