Hi, On Tue, Feb 03, 2009 at 09:03:28PM +0100, Thomas Schwinge wrote: > Hello! > > On Tue, Feb 03, 2009 at 08:28:28PM +0100, Sylvain Beucler wrote: > > On Tue, Feb 03, 2009 at 01:05:25AM +0100, Thomas Schwinge wrote: > > > Has being able to force non-fast-forward pushes (yes, I'm aware of the > > > consequences of doing such pushes) been explicitly disabled in the > > > Savannah git setup or why does the following fail? (Or is it me doing > > > something wrong at this late hour?) > > > > > > $ git push --force origin master > > > Counting objects: 3, done. > > > Compressing objects: 100% (2/2), done. > > > Writing objects: 100% (3/3), 428 bytes, done. > > > Total 3 (delta 0), reused 2 (delta 0) > > > To ssh://[email protected]/srv/git/hurd.git > > > ! [remote rejected] master -> master (non-fast forward) > > > error: denying non-fast forward refs/heads/master (you should pull > > > first) > > > error: failed to push some refs to > > > 'ssh://[email protected]/srv/git/hurd.git' > > > > This is disabled indeed. > > Shared Git repository don't allow that by default. > > Aha, I see. Hmm. What is the rationale? I mean, isn't the following > the exactly equivalent thing? (I've done this just done now.)
Ideally I'd rather not allow history-destructive changes without admin moderation. To the least, the current situation prevents beginners mistakes. > Also, could you please have the top-level hurd.git repository send commit > emails to <[email protected]>, set its owner to <[email protected]> and > its description to ``Hurd meta package''? I got seriously lazy and procrastinated this - but now it's done :) -- Sylvain
