The run-repl script would be nicer if invokable outside the checkout dir