Hi > hot-backup.py is in our trunk/tools/, and requests to extend it may be > dev > topics (e.g., if they come with patches). So I don't think it's off- > topic?
Here's a patch to hot-backup, then. It allows a format of "zip64" to be specified; this tells the python ZipFile class that it is allowed to produce a .zip with ZIP64 extensions, if the data to be compressed cannot fit in a non-ZIP64 zipfile. I've tested it with my enormous repository, and it works as expected. Comments/criticism/commits welcome :-) donald