Jan Hacker

I'm facing the same issue as @mcico -- the clone wasn't the issue for me, but the `git log rev..` fails for me, as the named commit vanished due to...