#!/bin/bash # This script should be called with the name of the branch to deploy. ($1 will # be the branch name.) set -euo pipefail sudo -u hmn bash -s <