Re: [PATCH] Introduce git-mirror, a tool for exactly mirroring another repository.

Sergey Vlasov [off-list ref] writes:

What is the current state of packed-refs implementation?

Scheduled for "master" probably tomorrow, with some disclaimers.

BTW, I was thinking about the possibility to save removed refs under,
e.g., refs/old/`date -I`/; maybe even non-fast-forward refs could be
saved there - this will ensure that no object will ever disappear from
the mirror, no matter what is done on the master side.  Obviously, in
this case remote refs like refs/old/* should be filtered.

I do not think that belongs to git-mirror.  It might be better to
have that option in update-ref machinery so that you would even
be protected from a `git branch -d` ran by mistake.