$no_build && exit 0
-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
bash -i || exit
}
-"$bin_dir/do_build" || {
+"$bin_dir/do_build" "$tree" || {
echo Build failed 1>&2
bash -i || exit
}