diff options
| author | unknown <serg@serg.mylan> | 2005-03-18 09:00:46 +0100 |
|---|---|---|
| committer | unknown <serg@serg.mylan> | 2005-03-18 09:00:46 +0100 |
| commit | c4ab5d61fb7af3275f7784257561a644fb2449ee (patch) | |
| tree | 7256ea79e96171159bd3b22134cd90414e4099f3 /BitKeeper/triggers | |
| parent | 2576beab6b256a8858e5d669f91a424aa836d23c (diff) | |
| download | mariadb-git-c4ab5d61fb7af3275f7784257561a644fb2449ee.tar.gz | |
don't allow to commit as mysqldev
Diffstat (limited to 'BitKeeper/triggers')
| -rwxr-xr-x | BitKeeper/triggers/pre-commit | 11 |
1 files changed, 11 insertions, 0 deletions
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" |