From b39100053d9f5a9240f34a35821e9f9776a126ac Mon Sep 17 00:00:00 2001
From: Sitaram Chamarty <sitaram@atc.tcs.com>
Date: Fri, 23 Mar 2012 07:59:35 +0530
Subject: [PATCH] POST_GIT triggers get 4 more arguments

---
 src/gitolite-shell | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gitolite-shell b/src/gitolite-shell
index 20f4e5d..14136eb 100755
--- a/src/gitolite-shell
+++ b/src/gitolite-shell
@@ -98,7 +98,7 @@ sub main {
     trigger( 'PRE_GIT', $repo, $user, $aa, 'any', $verb );
     my $repodir = "'$rc{GL_REPO_BASE}/$repo.git'";
     _system( "git", "shell", "-c", "$verb $repodir" );
-    trigger( 'POST_GIT', $repo, $user, $aa, 'any', $verb );
+    trigger( 'POST_GIT', $repo, $user, $aa, 'any', $verb, times() );
 }
 
 # ----------------------------------------------------------------------