do_build=$(grep -v '^#' $CTRL_FILE | awk -F ' ' '$3=="'$tree'" { print $6; }')
[ "$do_build" = "yes" ] ||
continue
- git push -f "$build_host":"$build_dir" master:refs/heads/next || {
+ git push -f "${build_host}${build_host:+:}${build_dir}" master:refs/heads/next || {
echo git push failed 1>&2
notify-send -t 0 -u critical "linux-next push failed for $tree!"
pushover "linux-next push failed for $tree!"