mergetools / gvimdiffon commit remote-curl: allow push options (511155d)
   1. "$MERGE_TOOLS_DIR/vimdiff"