From c4ab5d61fb7af3275f7784257561a644fb2449ee Mon Sep 17 00:00:00 2001
From: unknown <serg@serg.mylan>
Date: Fri, 18 Mar 2005 09:00:46 +0100
Subject: [PATCH] don't allow to commit as mysqldev

---
 BitKeeper/triggers/pre-commit | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/BitKeeper/triggers/pre-commit b/BitKeeper/triggers/pre-commit
index 2293dc55e2a..524321e8b80 100755
--- a/BitKeeper/triggers/pre-commit
+++ b/BitKeeper/triggers/pre-commit
@@ -1,5 +1,16 @@
 #!/bin/sh
 
+if [ "$BK_USER" = "Administrator" -o "$BK_USER" = "mysqldev" ]
+then
+ echo "Error: you cannot commit as 'Administrator' or 'mysqldev' user."
+ echo "as a workaround set BK_USER to your nickname"
+ echo "e.g.: export BK_USER='bar'"
+ echo ""
+ echo "Checkin FAILED!"
+ echo "Set BK_USER and retry."
+ exit 1
+fi
+
 if [ "$REAL_EMAIL" = "" ]
 then
  echo "Error: you must set REAL_EMAIL in your profile"
-- 
2.30.9