A test repo that we can use while testing Gimli