[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 10:41:16 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
address@hidden (Eric S. Raymond) writes:
> Andreas, I just did a pull of the git mirror and all the tags I had
> deleted and renamed came back to life.
This is correct. My mirror script will overwrite _any_ changes in the
git repo.
Andreas.
--
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."