As reverts is made to revert vandalism, I'm asking for an optional option to make revertions to ignore bot edits, both if an bot has made an edit in between the vandal edits, and also if a bot has made edits after vandal edit.
Version: unspecified
Severity: enhancement