#!/bin/bash

if [[ ! -d demo ]]; then
	mkdir -p demo
fi

if [[ ! -d demo/ifc-commit-demo ]]; then
	cd demo && git clone https://gitaec.org/rvba/ifc-commit-demo
else
	echo "removing ifc-commit-demo"
	rm -fr demo/ifc-commit-demo
	cd demo && git clone https://gitaec.org/rvba/ifc-commit-demo
fi