#!/usr/bin/env bash
set -euo pipefail

git clone https://git.tojo.tokyo/sicp-acl2.git .
echo
git checkout "${branch:-master}"
echo '---'
git log -n 1
echo '---'
echo