[Olsr-dev] [IMPORTANT FOR ALL GIT USERS] Re: Possible to fix errors in git repo?

[Henning]

On Monday 13 June 2011 14:29:26 Ferry Huberts wrote:
> the way to fix this is to export and re-import the entire tree.
> however, every commit id will change, which is kind of not-so-nice since
> the tree is public

I will try to get some feedback from the other developers...

Is someone here an the list who would like to state his opinion about this ?

Henning