diff --git a/BitKeeper/triggers/post-commit b/BitKeeper/triggers/post-commit
index 873c9665faf..6070b8e8e84 100755
--- a/BitKeeper/triggers/post-commit
+++ b/BitKeeper/triggers/post-commit
@@ -6,7 +6,7 @@ FROM=$USER@mysql.com
 INTERNALS=internals@lists.mysql.com
 DOCS=docs-commit@mysql.com
 LIMIT=10000
-REPOV=5.0
+REPOV=5.1
 
 if [ "$REAL_EMAIL" = "" ]
 then