Git deleted the local file and submitted it, but there was no push, and then pulled the code from the remote end. Why didn't you pull the file down?

git deleted the local file,

git rm "Readme.txt"
git commit -m "delete Readme.txt"

but no push!

then use git pull to pull, why can"t Readme.txt pull down?

Git
Sep.16,2021

remote commits and your latest commit automatically merge, readme.txt is deleted after merge.


No push, means that the code you changed does not push to your current branch. The code you pulled from the remote warehouse, switched to your previous code branch, is still in the commit state of your previous code, and does not save your previous pull code


git pull equals git fetch and git merge . The remote branch and the local branch merge so the file has already been saved. You can fetch the remote branch first and see if there is any difference.


The main difference between the

git pull and git fetch commands is that the local branches are automatically merged after a drop-down update with: git pull, while git

fetch first pulls down the code update of the remote repository and merges it with merge or rebase.
you pull with git pull, and readme.txt is deleted after merge.


the reason is what was said upstairs

Menu