push: don't refuse to push if it looks like we haven't pulled all changes. We can't rely on the most-recent change number matching our most-recent change number because there can be changes in svn that produce no corresponding hg changeset.

import imp, os, sys

sys.path.insert(0, os.path.dirname(os.path.dirname(__file__)))