On Mon Dec 2, 2024 at 4:01 AM CET, Junio C Hamano wrote: > Missing sign-off. Whoopsie! I am sorry, but given that I am probably withdrawing my submission anyway, it is not relevant, I guess. > The benefit of refreshing the index manually beforehand mostly comes > when you are running two or more plumbing commands that do not > refresh the index by themselves. We used to implement an equivlent > of today's "git status" using "git diff-files" and "git diff-cache" > (yes, we literally ran these two commands in a row to show their > results in the output, one for "changes to be committed" and the > other for "changes left in the working tree"), and before running > these two, the scripted implementation of "git status" ran "git > update-index --refresh". I’ve got the idea from https://groups.google.com/g/git-mentoring/c/mJnuzbUqyAQ/m/02Pr9uhmAAAJ , so I thought it something one does. Best, Matěj -- http://matej.ceplovi.cz/blog/, @mcepl@floss.social GPG Finger: 3C76 A027 CA45 AD70 98B5 BC1D 7920 5802 880B C9D8 All men's miseries derive from not being able to sit in a quiet room alone. -- Blaise Pascal
Attachment:
E09FEF25D96484AC.asc
Description: application/pgp-keys
Attachment:
signature.asc
Description: PGP signature
