3 cat >/dev/null # Just discard stdin data
5 if [[ -f /proc/$PPID/cmdline ]]; then
6 while read -d $'\0' arg ; do
7 if [[ "$arg" == '--tags' ]] ; then
10 done </proc/$PPID/cmdline
13 branch=`git rev-parse --abbrev-ref HEAD`
14 if [[ "$branch" = master && "$*" == *github* ]]; then