No need for mini-ci-command.sh anymore