agc93
10/9/2017 - 12:22 AM

Script used for demos and live coding

Script used for demos and live coding

# This is pretty trimmed down, but is the basic idea, at least

docker ps -a -q -f status=exited | xargs -r docker rm
git reset --hard
git checkout stage-$1