I uploaded a file(a huge fool file) accidentally to my git repository, when I noticed it I "removed" using git rm the_fool_file
Then I saw that the file is still at the repository althought it was removed from my local.
How can I removed from the server and definitely delete it?
Thanks in advance.
I also tried
git filter-branch --tree-filter 'rm -f myfile' HEAD
got
WARNING: Ref 'refs/heads/master' is unchanged
file is not at head, it was removed