This directory contains the bare Git repositories for our interesting
stuff. It has a very broad .gitignore.