[tools] testbot: Trace the git HEAD after a repository update.

[Francois Gouget]

'git pull' already shows the old and new HEAD (if the repository is
not already up-to-date), but this provides the commit id in the same
format as ApplyPatch() which makes it available to the TestBot server.

Signed-off-by: Francois Gouget 
---
 testbot/lib/Build/Utils.pm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/testbot/lib/Build/Utils.pm b/testbot/lib/Build/Utils.pm
index 8ab24633ae..8a6982c5de 100644
--- a/testbot/lib/Build/Utils.pm
+++ b/testbot/lib/Build/Utils.pm
@@ -89,7 +89,8 @@ sub GitPull($)
   else
   {
     InfoMsg "\nUpdating the $Dir source\n";
-    system("cd '$DataDir/$Dir' && set -x && git pull");
+    system("cd '$DataDir/$Dir' && (set -x && git pull) && ".
+           "echo $Dir:HEAD=`git rev-parse HEAD`");
   }
   if ($? != 0)
   {