📅  最后修改于: 2022-03-11 15:04:55.847000             🧑  作者: 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)