1 2 3 4 5 6 7 8 9 10
#!/usr/bin/env bash set -euo pipefail git clone https://git.tojo.tokyo/acl2-theorems.git . echo git checkout "${branch:-master}" echo '---' git log -n 1 echo '---' echo