mergetools / gvimdiff3on commit signed push: add "pushee" header to push certificate (9be8916)
   1. "$MERGE_TOOLS_DIR/vimdiff"