irker

   1 #!/bin/bash
   2
   3 IRKERPATH=/usr/bin/
   4
   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'"
  11 }
  12
  13
  14 function notify_irker() {
  15    old=$1
  16    new=$2
  17    refname=$3
  18
  19    if [ "x$old" = "x0000000000000000000000000000000000000000" ]; then
  20       # We're pushing into an empty repo, so we need a different command
  21       # to get the rev list
  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
  28       # (whatever that is)
  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"
  33       done
  34    else
  35       ${IRKERPATH}/irkerhook --refname=${refname} \
  36            $(git rev-list --reverse ${old}..${new})
  37    fi
  38 }