5 function help_irker() {
6 echo "Required config settings:"
7 echo " git config irker.channels 'channel1 channel2 ..'"
8 echo " git config irker.project 'Project name'"
9 echo " git config irker.server 'server'"
10 echo " git config irker.server 'server'"
14 function notify_irker() {
19 if [ "x$old" = "x0000000000000000000000000000000000000000" ]; then
20 # We're pushing into an empty repo, so we need a different command
22 # This does the wrong thing if the parent of the branch isn't master
23 # but it is kind of correct most of the time
24 ${IRKERPATH}/irkerhook --refname=${refname} \
25 $(git rev-list $new --not master)
26 elif [ "x$new" = "x0000000000000000000000000000000000000000" ]; then
27 # We're deleting a branch - we need to do the right thing
29 # This is not the right thing, but will do for now
30 repo=$(basename $PWD | sed 's/.git$//' )
31 for channel in $(git config --get irker.channels | sed "s/,/ /"); do
32 ${IRKERPATH}/irk $channel "$repo: Deleted branch $refname"
35 ${IRKERPATH}/irkerhook --refname=${refname} \
36 $(git rev-list --reverse ${old}..${new})