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