mergetools / diffmergeon commit Merge branch 'ws/request-pull-code-cleanup' into maint (45f28ed)
   1diff_cmd () {
   2        "$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
   3}
   4
   5merge_cmd () {
   6        if $base_present
   7        then
   8                "$merge_tool_path" --merge --result="$MERGED" \
   9                        "$LOCAL" "$BASE" "$REMOTE"
  10        else
  11                "$merge_tool_path" --merge \
  12                        --result="$MERGED" "$LOCAL" "$REMOTE"
  13        fi
  14}
  15
  16exit_code_trustable () {
  17        true
  18}