These docs are intended to help potential contributors get started.
GIT-HOWTO explains how to set up a new repository. It also suggests several
resources to help users learn git or cogito.
INSTALLING suggests a procedure for coordinating the building and installing
of new versions of the Debian package.