[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is the repo mirroring restoring dead tags?
From: |
Eric S. Raymond |
Subject: |
Re: Is the repo mirroring restoring dead tags? |
Date: |
Sun, 12 Jan 2014 08:11:32 -0500 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
David Kastrup <address@hidden>:
> Uh, you wrote yourself in your migrate-to-git plan as one important step
> "stop mirroring".
Yes, but the way I assumed it was being done wouldn't restore tags.
That'll teach me to make assumptions.
--
<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>