title: Removing checked-in files from web repository
body: <p>I added some of the temp files to git repository and pushed it to the web repo. Now I want to clean the web repository and delete those temporary files. Please help me with the procedure. I've followed the procedure given in 
  <a href="https://stackoverflow.com/questions/307828/git-remove-file-accidentally-added-to-the-repository">Completely remove file from all Git repository commit history</a>
  , but I'm getting a problem at the command <code>#git commit --amend</code> where it says to use <code>--allow-empty</code> along with the command.
  On doing as directed and completing the whole process, I can see that the files are not deleted from web repository.</p>
  
  <p>What is the procedure to permanently remove files from my web repo?</p>