> I have these, plus
>
> - fff96cc1a9 Doc: @file entries clean-up, take3 (add line-breaks)
> on the translation branch, also from Valentin.
>
>> I think you are a good candidate to push the most recent history
>> once passwords and all that jazz is working again.
[git is working again!]
It really doesn't matter who is pushing. To be sure, all people who
have done `git push' in the last few days should push again. Provided
there aren't unpushed commits in the private repositories, nothing can
happen.
Werner
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel
