Re: how to update the git repo?

[Jim Meyering]

Ben Pfaff wrote:

> Eric Blake <address@hidden> writes:
>
>> On 11/29/2010 07:53 PM, Bruno Haible wrote:
>>> When savannah is back online: Can we make this recommit of past changes in
>>> such a way that existing checkouts continue to work?
>>>   - Is it possible if one person who has a clean checkout does a "git push"?
>>>     Or will the server reject that push because it contains commits from
>>>     different authors?
>>
>> Not only is it possible, but I've already done just that earlier today.
>>  It preserves the same commit ids that were in place before savannah
>> went down.
>
> Do you have some kind of privileged access to savannah?  When I
> try to do the same for GNU PSPP, I get "Permission denied
> (publickey)." from Git.

Hi Ben,

The repository was read/write (presumably back to normal)
until about 12 hours ago, when Sylvain Beucler noticed
that the first SQL injection attacks actually occurred
two days earlier than we first thought.  See the last
three 2010/11/30 bullets here:

    http://savannah.gnu.org/

so now the repository is read-only.