Hi, all: I know repos with too many refs is a corner-case for most people, but it's looming large in my world, so I'm wondering if it makes sense to compress the packed-refs file when "git pack-refs" is performed? What would the implications be, other than minor performance degradation when reading it? -K
