On 5/17/25 10:13 PM, Elijah Newren wrote:
Isn't the idea essentially the split index we already have? (See the "SPLIT INDEX" section of the git-update-index manual.)
I admittedly hadn't read that before. Yes, it's similar. But, I think I better become more familiar with this man page before I take up any more of this list's time. One observation - wouldn't things be nice if the index entries were (somehow) the same length. Jon
