  git branch -D "${local_branch}"
}

trap cleanup EXIT

master_hash=$(git rev-parse --short=12 "${remote_master_branch}")
git merge "${remote_master_branch}" \
    -m "Merge ${remote_master_branch_name} ${master_hash} into doc"

dirty=y

doc/support/generate.sh