Revert commits instead of commiting more

[Ranieri Althoff]

Recently we had some trouble with mistaken commits. Isn't it better to just purge those commits instead of making new commits fixing recent mistakes? For now, the whole history up to d735c90 is discardable, since it only introduced mistakes and fix to those mistakes. It's better to purge it from the log and start again from d735c90.

[Stian Andreassen]

Rebasing pushed commits is tricky, it won't show have such a major impact on anything. Especially since the commit will return if people push from a non-rebased tree, unless you remake the entier history (using say convert), this breaks updates....

Better just leave them be, and don't think about it :)