Hashing

What hashes to use

We decided to use SHA1 (180-bit) hashes with base64 encoding (modified to be file-system safe; with -, _ as extra non-alphabet characters, we do not need padding).

This allows our hashes to be shorter than git, and, more importantly, visually distinguishes the hashes from those of git.

Hashes are easily computed using the hashlib and base64 Python modules.