title: How do I undelete a file after git rm and pushing to github?
body: <p>I recently cloned a repository on my local machine and then did a git remove on one of the files and pushed those changes back to the github repository. My question is how do I restore that file back on the original github repository?</p>