It is not in the history of any head anymore, so you could consider it
deleted. ('git log' does not show this commit)
If you want to prune unreferenced objects, try:
git prune
('git help prune' for options)
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html