packaging/pre-push

   1 #!/bin/bash -e
   2
   3 cat >/dev/null # Just discard stdin data
   4
   5 if [[ -f /proc/$PPID/cmdline ]]; then
   6     while read -d $'\0' arg ; do
   7         if [[ "$arg" == '--tags' ]] ; then
   8             exit 0
   9         fi
  10     done </proc/$PPID/cmdline
  11 fi
  12
  13 branch=`git rev-parse --abbrev-ref HEAD`
  14 if [[ "$branch" = master && "$*" == *github* ]]; then
  15     make gensend
  16 fi