Re: Am able to delete a file with no trace in the log

Linus Torvalds [off-list ref] writes:

Thinking more about it, we always did have fairly good workarounds for the 
"we optimized away the history too aggressively" (ie the original 
--full-history, and then the newer and nicer --simplify-merges).

This is offtopic, but there is a rather funny hidden feature in that
"newer and nicer" option.

    $ git log --simplify-merges -- no-no-no-such-path-ever-existed

will lists the merges that do not have any common ancestors.

I do not know where it comes from, or if it is worth fixing.