> This sounds like the git repository is online again, and _some_ people
> are able to access it.  Personally, I still get
> 
> git pull
> Permission denied (publickey).
> fatal: The remote end hung up unexpectedly
> 
> So _if_ others are able to access git, it would seem that the account
> data backup is quite older than the git repository itself.

Hmm.  According to http://savannah.gnu.org/, they are using a backup
from Nov. 22nd, and write access has been restored today at 11:00 GMT.

> How should I proceed?

Retry?


    Werner

_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to