#!/bin/bash

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

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

exit $?