Thanks for working on this: I missed this thread (had too many mails to
catch up with).
It was a concious decision, but maybe it was wrong.
My rationale was this: if I mirror another person's repository, I want all
the history. And I do want to keep it, even if the other person decides
to clean the original repository out.
(In this case, the reflogs would not help, since I do not have a HEAD
reflog for all the deleted branches, and deleting the refs deletes their
reflogs, too.)
But as I said, my rationale may very well be wrong.
Ciao,
Dscho
--
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