if need to remove folder from local and remote:
git rm -r {dictionary_name}
git commit -m "Remove duplicated directory"
git push origin {branch_name}
only remove folder at remote:
git rm -r --cached folder_name
if need to remove folder from local and remote:
git rm -r {dictionary_name}
git commit -m "Remove duplicated directory"
git push origin {branch_name}
only remove folder at remote:
git rm -r --cached folder_name