We recently wanted to get the Git history of a file which we knew existed but had now been deleted so we could find out what had happened to it.

Using a simple git log didn’t work:

We eventually came across Francois Marier’s blog post which points out that you need to use the following command instead:

I’ve tried reading through the man page but I’m still not entirely sure what the distinction between using -- and not using it is supposed to be.

If someone could explain it that’d be cool…​