[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is the repo mirroring restoring dead tags?
From: |
Andreas Schwab |
Subject: |
Re: Is the repo mirroring restoring dead tags? |
Date: |
Sun, 12 Jan 2014 15:02:37 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (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.
Sorry for being unclear. With mirroring I mean really git push
--mirror.
Andreas.
--
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."