mergetools / vimdiff3on commit push: support signing pushes iff the server supports it (3026109)
   1. "$MERGE_TOOLS_DIR/vimdiff"