mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-18 04:53:01 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

post-commit Changed to docs-commit@

Browse source
This commit is contained in:
mwagner@evoq.mwagner.org 2001-11-07 01:49:38 -06:00
parent d67c6683ef
commit db70f731fa
1 changed files with 2 additions and 2 deletions
Show stats 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
FROM=$USER@mysql.com
INTERNALS=internals@lists.mysql.com
DOCS=docs@mysql.com
DOCS=docs-commit@mysql.com
LIMIT=10000
if [ "$REAL_EMAIL" = "" ]
@ -58,7 +58,7 @@ EOF
) | head -n $LIMIT | /usr/sbin/sendmail -t
#++
# docs@ mail
# docs-commit@ mail
#--
bk changes -v -r+ | grep -q Docs/manual.texi
if [ $? == 0 ]