"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