replace flatten with spawn_coroutine
set default port to 8080; --repository needs to be non-empty