summaryrefslogtreecommitdiff
path: root/BitKeeper/triggers/pre-commit
diff options
context:
space:
mode:
Diffstat (limited to 'BitKeeper/triggers/pre-commit')
-rwxr-xr-xBitKeeper/triggers/pre-commit22
1 files changed, 0 insertions, 22 deletions
diff --git a/BitKeeper/triggers/pre-commit b/BitKeeper/triggers/pre-commit
deleted file mode 100755
index f4664ccf1fe..00000000000
--- a/BitKeeper/triggers/pre-commit
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/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"
- echo "e.g.: export REAL_EMAIL='Joe Dow <joe@foo.bar>'"
- echo ""
- echo "Commit FAILED!"
- echo "Set REAL_EMAIL and retry."
- exit 1
-fi