git push 文件夹后出现问题

本来要上传robot_localization_demo文件夹到仓库
2018-10-25%2017-19-35%E5%B1%8F%E5%B9%95%E6%88%AA%E5%9B%BE
结果上传后发现一个奇怪的文件 robot_localization_demo @ e3c79e19出现在仓库里,而且无法删除


git操作过程(已建好仓库 ,中途省略输入账户):
git pull
git status
git add .
git status
git push origin master

git add 之后 没有git commit ?

commit 了,git commit -m “多传感器融合demo”

must try harder

1赞

已解决

出现bug的原因是robot_localization_demo文件夹中混入了.git文件目录(源代码从github上下载),
2018-10-25%2017-14-16%E5%B1%8F%E5%B9%95%E6%88%AA%E5%9B%BE

通过rm -r 命令删除.git有关文件后,已重新将demo文件push至仓库

嘛,算是个最简单的方法~

另外调研下如果错误的添加了 git submodules 如何优雅的删除掉?

1赞