Re: how to update the git repo?

[Ben Pfaff]

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.
-- 
Ben Pfaff 
http://benpfaff.org