chiark / gitweb /
Rename various *make_commit* to *hash_commit*