Re: Gub upload failure

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> ----- Original Message ----- 
> From: "David Kastrup" <address@hidden>
> To: <address@hidden>
> Sent: Wednesday, August 29, 2012 3:21 PM
> Subject: Re: Gub upload failure
>
>
>> "Phil Holmes" <address@hidden> writes:
>>
>>> OK - so it looks like I've now rsynched a few 100 MB of updates.  I
>>> get this failure:
>>>
>>> git --git-dir downloads/lilypond/git push
>>> ssh+git://address@hidden/srv/git/lilypond.git/
>>> refs/tags/release/2.17.1-1:refs/tags/release/2.17.1-1
>>> Permission denied (publickey).
>>>
>>> I'm assuming that this is because GUB is trying to log in as you to
>>> the git repo and failing, because it has my key?  a) is that right?
>>
>> Likely.
>>
>>> b) should I find the address@hidden bit and change this to my git
>>> username and c) what does this command do?
>>
>> Push the tag from downloads/lilypond/git to the main repository.
>
> I actually went ahead and found the line in the script, changed it and
> it then continued OK.  However, it looks like the tag might already
> have been created locally.

Sure, or it would not be possible to push it.

>
> git --git-dir downloads/lilypond/git tag -m "" -a release/2.17.1-1 
> git.sv.gnu.org/lilypond.git/release/unstable
> fatal: tag 'release/2.17.1-1' already exists
>
> I've never used tags and so need to do some research, but if you could
> tell me how to list and possibly delete tags in the local version of
> the repo, that would be helpful.

git tag -d release/2.17.1-1

should suffice

-- 
David Kastrup