Just a theorical question. If someone accidently added a sensitive file to a repository, doing the 'hg commit' and then pushed it into a repository. How could you completely purge a repository of that file? Assuming it contained company sensitive information. -kto