[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is the repo mirroring restoring dead tags?
From: |
David Kastrup |
Subject: |
Re: Is the repo mirroring restoring dead tags? |
Date: |
Sun, 12 Jan 2014 14:07:22 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
"Eric S. Raymond" <address@hidden> writes:
> Andreas Schwab <address@hidden>:
>> This is correct. My mirror script will overwrite _any_ changes in the
>> git repo.
>
> Well, hell. I wish somebody had told me that sooner.
Uh, you wrote yourself in your migrate-to-git plan as one important step
"stop mirroring".
--
David Kastrup