On Sat, Feb 23, 2008 at 08:13:34AM +0100, Jim Meyering wrote: > > Is this your work/patch, or is it a different version? > > It's mine. > I would have submitted it upstream, but when pushing > multiple commits or tags, it's not useful:
Let's hope we can fix that (I didn't dig into this so I don't really understand the issue yet) :) Also, the dejagnu.git project got a curious problem: https://savannah.gnu.org/support/?106243 where essentially the commit hook failed with "exit 1" (while I can't see where it could have done that, given the error message). I'm trying to reproduce this "push-update of tracking branch" error message. Apparently it happens when the user pushes stuff in refs/remotes/* . I can't see how user can affect this repository on Savannah, because it's supposed to affect refs/heads/* instead. dejagnu.git indeed has a refs/remote/origin/ directory _on Savannah_, and it seems to mirror refs/heads/ . dejagnu.git also has a 'origin' _branch_ (not remote). This is pretty confusing. Do you have a clue on how dejagnu.git ended up in this state? -- Sylvain
