diff -r 51421ab573de -r 9f0c7be7c46c contrib/shrink-revlog.py