Rename property gitSha to gerritPatchsetRevision

Binary property gitSha should not confuse, so we must to rename
it to gerritPatchsetRevision since it comes from variable
GERRIT_PATCHSET_REVISION

Change-Id: Ieb388fe3162019e8ac3fb4b88756fe183bfa3ec7
diff --git a/src/ci/mcp/Tools.groovy b/src/ci/mcp/Tools.groovy
index 6772288..0a1ab62 100644
--- a/src/ci/mcp/Tools.groovy
+++ b/src/ci/mcp/Tools.groovy
@@ -41,7 +41,7 @@
     "gerritChangeNumber=${env.GERRIT_CHANGE_NUMBER}",
     "gerritPatchsetNumber=${env.GERRIT_PATCHSET_NUMBER}",
     "gerritChangeId=${env.GERRIT_CHANGE_ID}",
-    "gitSha=${env.GERRIT_PATCHSET_REVISION}"
+    "gerritPatchsetRevision=${env.GERRIT_PATCHSET_REVISION}"
   ]
 
   if (customProperties){