To altogether remove a file that has been previously committed, follow these steps:-
sudo apt install git-filter-repogit filter-repo --path output.html --invert-pathsgit push origin --force --allgit push origin --force --tags