Showing content from http://lists.gnu.org/archive/html/emacs-devel/2014-01/msg01145.html below:
Re: Is the repo mirroring restoring dead tags?
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] 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."
- Is the repo mirroring restoring dead tags?, Eric S. Raymond, 2014/01/11
- Re: Is the repo mirroring restoring dead tags?, David Kastrup, 2014/01/11
- Re: Is the repo mirroring restoring dead tags?, Andreas Schwab <=
- Re: Is the repo mirroring restoring dead tags?, Eric S. Raymond, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, David Engster, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Glenn Morris, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, David Kastrup, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Eric S. Raymond, 2014/01/12
- Re: Is the repo mirroring restoring dead tags?, Andreas Schwab, 2014/01/12
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4