add Revision.equals()

It may cause massive regressions in the plugin