ci-tools. This repository contains various scripts and tools for Pico's CI process. Pico is a stupidly simple, blazing fast, flat file CMS.