📅  最后修改于: 2022-03-11 14:51:01.731000             🧑  作者: Mango
git rm -r one-of-the-directories // This deletes from filesystem
git commit . -m "Remove duplicated directory"
git push origin (typically 'master', but not always)