Re: Git history, Savannah

[Werner LEMBERG]

> 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