Python tools for managing a repository of files on disk.