Is the repo mirroring restoring dead tags?

Is the repo mirroring restoring dead tags?

[Eric S. Raymond]

Andreas, I just did a pull of the git mirror and all the tags I had
deleted and renamed came back to life.

The deletion script I use is this:

git tag -d $1
git push origin :$1

so I'm not just deleting them locally. Could your mirroring script 
be having an unexpected side effect?
-- 
		<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>

You [should] not examine legislation in the light of the benefits it will
convey if properly administered, but in the light of the wrongs it
would do and the harm it would cause if improperly administered
	-- Lyndon Johnson, former President of the U.S.

Re: Is the repo mirroring restoring dead tags?

[David Kastrup]

esr@thyrsus.com (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.
>
> The deletion script I use is this:
>
> git tag -d $1
> git push origin :$1

That sounds like a bad idea.  You probably want
git push origin :refs/tags/$1

to avoid branches or other stuff disappearing.

-- 
David Kastrup

Re: Is the repo mirroring restoring dead tags?

[Eric S. Raymond]

David Kastrup <dak@gnu.org>:
> esr@thyrsus.com (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.
> >
> > The deletion script I use is this:
> >
> > git tag -d $1
> > git push origin :$1
> 
> That sounds like a bad idea.  You probably want
> git push origin :refs/tags/$1
> 
> to avoid branches or other stuff disappearing.

Since all I've actually deleted with it is *-base and *-branchpoint tags, 
I think we're pretty safe.  Amended.
-- 
		<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>

Re: Is the repo mirroring restoring dead tags?

[Andreas Schwab]

esr@thyrsus.com (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, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."

Re: Is the repo mirroring restoring dead tags?

[Eric S. Raymond]

Andreas Schwab <schwab@linux-m68k.org>:
> 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.
-- 
		<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>

Re: Is the repo mirroring restoring dead tags?

[David Engster]

Eric S. Raymond writes:
> Andreas Schwab <schwab@linux-m68k.org>:
>> 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

Re: Is the repo mirroring restoring dead tags?

[David Kastrup]

"Eric S. Raymond" <esr@thyrsus.com> writes:

> Andreas Schwab <schwab@linux-m68k.org>:
>> 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

Re: Is the repo mirroring restoring dead tags?

[Eric S. Raymond]

David Kastrup <dak@gnu.org>:
> Uh, you wrote yourself in your migrate-to-git plan as one important step
> "stop mirroring".

Yes, but the way I assumed it was being done wouldn't restore tags.  
That'll teach me to make assumptions.
-- 
		<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>

Re: Is the repo mirroring restoring dead tags?

[Andreas Schwab]

"Eric S. Raymond" <esr@thyrsus.com> writes:

> Andreas Schwab <schwab@linux-m68k.org>:
>> 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, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."

Re: Is the repo mirroring restoring dead tags?

[Glenn Morris]

David Engster wrote:

> 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).

Yes, that is exactly what happened the last time I tried to delete tags,
as explained in the thread I originally referenced at the start of this.