git rm –cached folder_nameした後にgit pushすることで、リモートリポジトリ上のfolder_nameを削除することができた updated: 2025/11/19 created: 2025/11/19