mergetools / gvimdiffon commit signed push: teach smart-HTTP to pass "git push --signed" around (0ea47f9)
   1. "$MERGE_TOOLS_DIR/vimdiff"