#!/bin/bash set -e pushd repo cat <