A revert is a special type of commit which undos another commit. This is our policy for reverts:
- Reverting your own commit is never a problem. This can be necessary to fix an important bug introduced by your commit or something you accidently committed.
- Reverting a commit of another user is a problem. If you wish to do so, please post a request for comments to the mailing list and wait until you either get the ACK of the committer or two ACKs non-committer ACKs. Do _not_ revert before getting any of those ACKs.