deleting a single file in a repository

[Jos Koot]

How to delete a whole repository can easily be found.
However, I would like to delete only one file from a given repository.
Is that possible?
If so, how do I do that.
Thanks, Jos