Add a documentat on how to revert a faulty merge