...this is the critical bit. If anyone still has the "bad" file and pushes to the remote repo again, it will be added back to the commit history. This is why you should always triple check what you're pushing to publicly-accessible repos. Anyone who's ever cloned it will have all the files you ever added, even ones you delete in this way.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
...this is the critical bit. If anyone still has the "bad" file and pushes to the remote repo again, it will be added back to the commit history. This is why you should always triple check what you're pushing to publicly-accessible repos. Anyone who's ever cloned it will have all the files you ever added, even ones you delete in this way.