git - 잘못 push한 폴더 삭제하기

$ git rm -r --cached .idea/ 
rm '.idea/.name' 
rm '.idea/compiler.xml' 
rm '.idea/gradle.xml' 
rm '.idea/jarRepositories.xml' 
rm '.idea/misc.xml' 
rm '.idea/vcs.xml' 
rm '.idea/workspace.xml' 

$ git commit -m "ignore .idea/" 
[develop 95fd7a8] ignore .idea/ 
 7 files changed, 364 deletions(-) 
 delete mode 100644 .idea/.name 
 delete mode 100644 .idea/compiler.xml 
 delete mode 100644 .idea/gradle.xml 
 delete mode 100644 .idea/jarRepositories.xml 
 delete mode 100644 .idea/misc.xml 
 delete mode 100644 .idea/vcs.xml 
 delete mode 100644 .idea/workspace.xml 

$ git push origin develop 
Enumerating objects: 3, done. 
Counting objects: 100% (3/3), done. 
Delta compression using up to 12 threads 
Compressing objects: 100% (2/2), done. 
Writing objects: 100% (2/2), 218 bytes | 218.00 KiB/s, done. 
Total 2 (delta 1), reused 0 (delta 0) 
remote: Resolving deltas: 100% (1/1), completed with 1 local object.