#!/bin/sh

refname=${1#refs/heads/}
[ "$refname" = "master" ] && refname=
oldhead=$2
newhead=$3
for merged in $(git-rev-list $newhead ^$oldhead | tac); do
	/public/scm/libreswan.public/.git/ciabot.pl $merged $refname
done

touch /public/scm/libreswan.public/.git/last-update