https://onezeronull.com/2014/11/21/completely-remove-file-from-local-and-remote-github-repository/
Completely remove file from local and remote (GitHub) repository