How to remove a folder within a github repo that was deleted locally?
<p>I've multiple folders in one repo. Originally was working on folder3 and pushed commits. Then I decided to change the name of my folder3 to folder3A and pushed to github. Then I deleted the folder3 locally using <code>rm -rf folder3</code> and then pushed the commit. Now the problem is none of the below commands work if i want to remove the folder3 in my github repo since the file is not found locally: 
<code>git rm -r --cached folder3</code>, <code>git rm -rf obj</code> both gives this error: <code>fatal: pathspec 'folder3' did not match any files</code>. How do I remove just one folder that has been deleted locally but is still present on github?</p>