mergetools / vimdiff3on commit delete_ref(): use the usual convention for old_sha1 (1c03c4d)
   1. "$MERGE_TOOLS_DIR/vimdiff"