[galaxy-commits] commit/galaxy-central: greg: Enhance the generated name of the archive file created when exporting a tool shed repository.