mergetools / gvimdiff3on commit branch: record creation of renamed branch in HEAD's log (39ee4c6)
   1. "$MERGE_TOOLS_DIR/vimdiff"