----- Original Message -----
From: "Marc Hohl" <m...@hohlart.de>
To: "Trevor Daniels" <t.dani...@treda.co.uk>
Cc: "David Kastrup" <d...@gnu.org>; <lilypond-devel@gnu.org>
Sent: Friday, July 27, 2012 8:28 AM
Subject: Re: git push doesn't work
I have saved my public key on savannah, and the instructions say that
it will take some time before it gets activated, so I have to be patient
...
I think it would probably be more accurate to say "may take some time". I
believe that every time I've done it, it's been instant. Try a dry run
push, and if that works, you're good to go.
--
Phil Holmes
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
