What's the best way to remove some commits from the server which have been pushed by error?
I can login to the server and issue hg strip in the repo folder but this leaves dangling objects in the DB; I've found that the commands:
./bin/repository discover
./bin/repository discover ./bin/repository discover