[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is the repo mirroring restoring dead tags?
From: |
David Engster |
Subject: |
Re: Is the repo mirroring restoring dead tags? |
Date: |
Sun, 12 Jan 2014 13:54:09 +0100 |
User-agent: |
Gnus/5.130008 (Ma Gnus v0.8) Emacs/24.3 (gnu/linux) |
Eric S. Raymond 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.
>
> Now I'll have redo all those operations by hand, either on the Bazaar
> repo or the final git one.
Before you waste even more time: I don't think it will work on the
Bazaar repo, since I guess those tags will be restored as soon as
anybody pushes who has those tags locally (i.e., everyone).
-David