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
Completely remove file from all Git repository commit history
, but I'm getting a problem at the command #git commit --amend
where it says to use --allow-empty
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.
What is the procedure to permanently remove files from my web repo?