#!/bin/sh shift TO=dev@mysql.com FROM=$USER@mysql.com if [ "$BK_COMMIT" = OK ] then echo "Commit successful, notifying developers at $TO" ( cat <