#!/bin/bash

. "$(dirname $0)/common.sh"

git push -f "${build_host}${build_host:+:}${build_dir}" master:refs/heads/next

exit $?