database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00
Code Activity

post-commit Changed to docs-commit@

Browse Source 
BitKeeper/triggers/post-commit:
  Changed to docs-commit@
This commit is contained in:
unknown
2001-11-07 01:49:38 -06:00
parent a0ac4c6446
commit 1ef27cf04b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
BitKeeper/triggers/post-commit
View File

@ -4,7 +4,7 @@
TO=dev-public@mysql.com TO=dev-public@mysql.com
FROM=$USER@mysql.com FROM=$USER@mysql.com
INTERNALS=internals@lists.mysql.com INTERNALS=internals@lists.mysql.com
DOCS=docs@mysql.com DOCS=docs-commit@mysql.com
LIMIT=10000 LIMIT=10000
if [ "$REAL_EMAIL" = "" ] if [ "$REAL_EMAIL" = "" ]
@ -58,7 +58,7 @@ EOF
) | head -n $LIMIT | /usr/sbin/sendmail -t ) | head -n $LIMIT | /usr/sbin/sendmail -t
#++ #++
# docs@ mail # docs-commit@ mail
#-- #--
bk changes -v -r+ | grep -q Docs/manual.texi bk changes -v -r+ | grep -q Docs/manual.texi
if [ $? == 0 ] if [ $? == 0 ]