#!/bin/bash set -e VERSION="$(cat version/number)" pushd repo git checkout "v${VERSION}" cat <