Following scenario:
Some file x was deleted (or renamed, but the --follow option does not
succeed) some 100 commits ago.
Now, I would like to check the 'lost' contents for some reason.
Is it possible to find out when a given file (path) was deleted?
(And then, with the obtained SHA1, use gitk or some such tool to inspect
this file.)
Thank you.
Best regards
--
Christoph Duelli
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html