Re: [PATCH] precious-files.txt: new document proposing new precious file type

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 27, 2023, 05:28 UTC
Message-ID: <xmqq8r5gfc3j.fsf@gitster.g>
In-Reply-To: <pull.1627.git.1703643931314.gitgitgadget@gmail.com>

"Elijah Newren via GitGitGadget" <gitgitgadget@gmail.com> writes:

Show 7 quoted lines

> From: Elijah Newren <newren@gmail.com>
>
> We have traditionally considered all ignored files to be expendable, but
> users occasionally want ignored files that are not considered
> expendable.  Add a design document covering how to split ignored files
> into two types: 'trashable' (what all ignored files are currently
> considered) and 'precious' (the new type of ignored file).

The proposed syntax is a bit different from what I personally prefer (which is Phillip's [P14] or something like it), but I consider that the more valuable parts of this document is about how various commands ought to interact with precious paths, which shouldn't change regardless of the syntax.

Thanks for putting this together.