ローカルに削除されたgithubリポジトリ内のフォルダを削除するには？

Question

1つのレポに複数のフォルダがあります。もともとはfolder3に取り組み、コミットをプッシュしていました。それから私はfolder3の名前をfolder3Aに変更し、githubにプッシュした。それから私はrm -rf folder3を使ってローカルにfolder3を削除して、コミットをプッシュしました。ファイルがローカルに見つからないので、私のgithubリポジトリ内のfolder3を削除したい場合は、以下のコマンドのいずれも問題になりません： git rm -r --cached folder3、git rm -rf objの両方にこのエラー：fatal: pathspec 'folder3' did not match any filesがあります。ローカルで削除されたがgithubにまだ残っているフォルダを1つだけ削除するにはどうすればよいですか？

Answer 1

今すぐあなたのディレクトリにあるものをすべて追加して、あなたのフォルダにgithubを同期させてください。

git add * 
git commit -m "removed a folder" 
git push origin master