Re: [RFC] Define "precious" attribute and support it in `git clean`

Sebastian Thiel <sebastian.thiel@icloud.com> writes:

;-).

Over the years, I've seen many times scenarios that would have been helped if we had not just "tracked? ignored? unignored?" but also the fourth kind [*]. The word "ignored" (or "excluded") has always meant "not tracked, not to be tracked, and expendable" to Git, and "ignored but unexpendable" class was missing. I even used the term "precious" myself in those discussions. At the concept level, I support the effort 100%, but as always, the devil will be in the details.

Scenarios that people wished for "precious" traditionally have been

 * You are working on 'master'.  You have in your .gitignore or
   .git/info/exclude a line to ignore path A, and have random
   scribbles in a throw-away file there.  There is another branch
   'seen', where they added some tracked contents at path A/B.  You
   do "git checkout seen" and your file A that is an expendable file,
   because it is listed as ignored in .git/info/exclude, is removed
   to make room for creating A/B.

 * Similar situation, but this time, 'seen' branch added a tracked
   contents at path A.  Again, "git checkout seen" will discard the
   expendable file A and replace it with tracked contents.

 * Instead of "git checkout", you decide to merge the branch 'seen'
   to the checkout of 'master', where you have an ignored path A.
   Because merging 'seen' would need to bring the tracked contents
   of either A/B (in the first scenario above) or A (in the second
   scenario), your "expendable" A will be removed to make room.

In previous discussions, nobody was disturbed that "git clean" was unaware of the "precious" class, but if we were to have the "precious" class in addition to "ignored" aka "expendable", I would not oppose to teach "git clean" about it, too.

There was an early and rough design draft there in

https://lore.kernel.org/git/7vipsnar23.fsf@alter.siamese.dyndns.org/

which probably is worth a read, too.

Even though I referred to the precious _attribute_ in some of these discussions, between the attribute mechanism and the ignore mechanism, I am actually leaning toward suggesting to extend the exclude/ignore mechanism to introduce the "precious" class. That way, we can avoid possible snafu arising from marking a path in .gitignore as ignored, and in .gitattrbutes as precious, and have to figure out how these two settings are to work together.

In any case, the "precious" paths are expected to be small minority of what people never want to "git add" or "git commit", so coming up with a special syntax to be used in .gitignore, even if that special syntax is ugly and cumbersome to type, would be perfectly OK.

[Reference]

 * https://lore.kernel.org/git/7viptp9jos.fsf@alter.siamese.dyndns.org/
 * https://lore.kernel.org/git/xmqqva534vnb.fsf@gitster-ct.c.googlers.com/