quoted
quoted
quoted
quoted
"Junio" == Junio C Hamano [off-list ref] writes:
Yann Hodique [off-list ref] writes:
quoted
$ git checkout next; git diff-files; git checkout next; git diff-files
Already on 'next'
:100644 100644 bd774cccaa14e061c3c26996567ee28f4f77ec80 0000000000000000000000000000000000000000 M magit.el
Already on 'next'
$
If you run "git update-index --refresh" between the first "checkout"
and "diff-files", do you still see the issue?
Yes, although *way* less often. I just ran a quick experiment and have
seen the issue 2 times in 2500 tries.
Thanks,
Yann.
--
There exists no separation between gods and men:
one blends softly casual into the other.
-- Proverbs of Muad'dib