filter-branch: Remove original/* (was Re: [RFC] What's the best UI for 'git submodule split'?)

On Thu, Feb 12, 2009 at 4:59 PM, Johannes Schindelin
[off-list ref] wrote:

On Thu, 12 Feb 2009, Eric Kidd wrote:

quoted

  rm .git/refs/original # or just use --force below

BTW I wanted to get rid of this for a long time now, but I cannot seem to
find the time to work on it.  The 'original' refs should not be needed, as
that's a job for the reflogs (yeah, people tried to convince me back then,
but I finally got it, okay?)

Removing the original/* directory would certainly make my life easier.
But the reflog only stores backups for branch heads, not tags, right?
If there's a good way to handle this, I'd be happy to send a patch.

Cheers,
Eric