hobbes@poukram.net (Rémi Letot) writes:
> It worked on most groups before commit
> d173e96bece12e3b0d343c8c0d138289de56e111, only the groups responsible
> for breaking g (for me) where not possible to rename. 
>
> Now, I can't rename any group (haven't tried all of them, but quite a
> bunch), problematic or not. The error message is exactly the same as it
> was on the problematic groups before the commit.
>
> I don't know git (or any other dvcs), but I guess it would be possible
> for me to revert that specific commit and see if it restores the old
> behaviour ? Would it be usefull ? Can anyone tell me how to do that ?

You want to "checkout" the old version rather than
"reverting". Reverting refers to committing a change to undo an existing
change in the repository. What you need is time travel, which is much
simpler...

In git, you can say "the commit before" with a trailing caret, so I
think you probably want to use something like

  git checkout d173e96^

If you want to jump back and forwards easily, I recommend creating a
branch with a name, like

  git checkout -b old d173e96^

Now you can go to the new version with "git checkout master" and back
with "git checkout old". Moreover, you can cherry-pick commits into your
"old" branch to help work out what's going on.

When you finally want to get rid of the "old" branch, just checkout a
different branch (master, for example) and type "git branch -d old".

Rupert