求助！github文件夹怎么删除。

[gggjjn]

我把本地提交过的文件夹改名后push上去发现原来的文件夹没有被覆盖，现在想删除原来的文件夹怎么删啊？

[sherryt63]

我也遇到了这个问题，不知道用rm指令可以吗？

[andyhuang18]

添加文件时使用git add file，删除文件时使用git rm file

[wangshuuyao]

$ git --help # 帮助命令
$ git pull origin master # 将远程仓库里面的项目拉下来
$ dir # 查看有哪些文件夹
$ git rm -r --cached target # 删除target文件夹
$ git commit -m '删除了target' # 提交,添加操作说明

[andyhuang18]

@wangshuuyao 说的很详细！点赞

[gggjjn]

添加文件时使用git add file，删除文件时使用git rm file

还有个问题，其实我的最初目的只是想改个名字，有没有只改文件夹名字的操作啊？如果像这样提交个新的文件夹，把之前的删除了，那之前的那个文件夹里commit记录是不是也没了。

[yyyyyu2799]

添加文件时使用git add file，删除文件时使用git rm file

还有个问题，其实我的最初目的只是想改个名字，有没有只改文件夹名字的操作啊？如果像这样提交个新的文件夹，把之前的删除了，那之前的那个文件夹里commit记录是不是也没了。
前三行与wangshuyao的的做法相同，然后git mv -f oldname newname

[gggjjn]

@wangshuuyao 说的很详细！点赞

还是不行啊，rm之后本地是没有了但是仓库里的没有变化，有没有更完整的操作，包括怎么拉下来传上去等等

[andyhuang18]

commit之后还要git push origin main

[ecnu-Sun]

1，git rm -r 文件名 2，git commit -m “注释” 3，git push origin main

[sherryt63]

我遇到了类似的问题——在本地把文件/文件夹用rm删除且git commit & git push origin main了还是能在github网站上看到仓库有那些文件（夹）存在。经过讨论与研究，总结解决方法如下：
在命令行输入：
①git add .
②git commit
③git push origin main
这样便可以让github网站上与本地内容同步（第①步非常关键！）

[LghLcxLjxLxb]

我这里有一个比较全的教程，https://blog.csdn.net/u014678583/article/details/115195605