function push_build() {
  if [ "$#" -ne 1 ]; then
    echo "Usage: $0 <branch_name>"
  else
    echo "Pushing and building ${1}..."
    git push --set-upstream origin $1
    sleep 0.5
    trigger_result=`circleci trigger gospotcheck/gospotcheck $1`
    build_num=`echo $trigger_result | ruby -e "require 'JSON';json=JSON.parse(STDIN.read); puts json['build_num']"`
    echo "Triggered build ${build_num}"
    circleci notify gospotcheck/gospotcheck $build_num &
  fi
}