tools/rgit2hg.sh
changeset 11517 b3ee79e8e3b9
parent 11514 5d804405964d
--- a/tools/rgit2hg.sh	Sat Jan 16 19:29:28 2016 +0100
+++ b/tools/rgit2hg.sh	Sat Jan 16 19:50:38 2016 +0100
@@ -45,6 +45,11 @@
     echo
     result=$(hg log -R "$HW_HG" -u "$author" -d "$date" -v -l1)
     if [ -z "$result" ]; then
+        echo 'No match with this author'\''s name. It might differ, so let'\''s try using date only ...'
+        echo
+        result=$(hg log -R "$HW_HG" -d "$date" -v)
+    fi
+    if [ -z "$result" ]; then
         echo 'No match :('
         shift
         continue