[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to update the git repo?
From: |
Ben Pfaff |
Subject: |
Re: how to update the git repo? |
Date: |
Tue, 30 Nov 2010 20:24:07 -0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
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