[PATCH 3 of 3] darcs pull does not clean, so revert repo before feeding to mercurial

[Guy Brand]

# HG changeset patch
# User Guy Brand <gb at isis.u-strasbg.fr>
# Date 1172095555 -3600
# Node ID efcf20cbe118cde6e4d13a5bfe2f6f4f07a8c51f
# Parent  f77c66e897664f504738286d93ca839999bc2f02
darcs pull does not clean, so revert repo before feeding to mercurial

diff -r f77c66e89766 -r efcf20cbe118 contrib/darcs2hg.py
--- a/contrib/darcs2hg.py	Wed Feb 21 10:32:13 2007 +0100
+++ b/contrib/darcs2hg.py	Wed Feb 21 23:05:55 2007 +0100
@@ -94,6 +94,7 @@ def darcs_pull(hg_repo, darcs_repo, chas
 	old_tip = darcs_tip(darcs_repo)
 	res     = cmd("darcs pull \"%s\" --all --match=\"hash %s\"" % (darcs_repo, chash), hg_repo)
 	print res
+	cmd("darcs revert --all", hg_repo, silent=True)
 	new_tip = darcs_tip(darcs_repo)
 	if not new_tip != old_tip + 1:
 		error("Darcs pull did not work as expected: " + res)