私のレポには、存在しないがに存在するファイルがあることがわかりgit ls-tree
ましたgit ls-files
。私がしたことは次のとおりです。
~/wsp$ git clone ~/repo/project1
~/wsp$ rm project1/file1
~/wsp$ git add -A
~/wsp$ git commit -m'deleted file1'
~/wsp$ git push
レポジトリ内
~/repo$ git log
<deleted file1 commit msg is there>
~/repo$ git ls-tree
<file1 is not in ls-tree>
~/repo$ git ls-files
<file1 is still there!>
~/repo$ find . -name file1
~/repo/file1
そのため、file1 は repo dir にまだ存在しているようですが、workspace dir では file1 が削除され、git-rm され、コミットされ、repo にプッシュされます。
ある git ディレクトリで削除または名前変更されたファイルを別の git ディレクトリにプッシュするにはどうすればよいですか?
前もって感謝します :)