Jeff King <peff@xxxxxxxx> writes: > On Tue, May 19, 2015 at 12:34:03PM -0700, Junio C Hamano wrote: > >> A quick "git grep packfile" vs "git grep pack-file" inside >> Documentation/ directory indicates that we seem to use 'packfile' >> primarily in the lower-level technical documents that are not >> end-user facing. Almost half of them are in the release notes >> that we won't bother "fixing", so it might make sense to go the >> other way around, consistently using "pack-file" that may be more >> familiar to end-users. >> >> What do others think? > > If I saw "pack-file" (outside of this discussion) I would think it was > wrong. That's just my opinion, of course. OK, then let's go with these three patches. Thanks for sanity checking. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html