Re: how to update the git repo?

[Ben Pfaff]

Bruno Haible <address@hidden> writes:

> 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?

This ordinarily works.  (If someone has installed a hook in the
Git repository on Savannah that is explicitly meant to prevent
it, it would fail.  That would be unusual.)
-- 
"The road to hell is paved with convenient shortcuts."
--Peter da Silva