delete a superfluous file from the repository