Script used for demos and live coding

demo.sh

# 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