#! /bin/sh

VICTIMS="address@hidden address@hidden"
COMMIT_DESCRIPTION="Your project"

CSET_DIR=~/,,tla-commit-mail-cset-$$
CSET_LOG=~/,,tla-commit-mail-log-$$

tla cat-archive-log $ARCH_ARCHIVE/$ARCH_REVISION >$CSET_LOG
tla get-changeset $ARCH_ARCHIVE/$ARCH_REVISION $CSET_DIR

(grep '^Creator:' $CSET_LOG
echo "Revision: $ARCH_ARCHIVE/$ARCH_REVISION"
grep '^Date:' $CSET_LOG
echo
grep '^Summary:' $CSET_LOG
grep '^Keywords:' $CSET_LOG
sed -e '1,/^$/d' $CSET_LOG
echo 'Changes:'
tla show-changeset --diffs $CSET_DIR | grep -Ev '/\.arch-ids(/|$)')  | \
    mail -s "$COMMIT_DESCRIPTION commit: $ARCH_ARCHIVE/$ARCH_REVISION" $VICTIMS

rm -rf $CSET_DIR $CSET_LOG