Reverting a commit using webkitbot should comment on corresponding PR as well. e.g.: https://github.com/WebKit/WebKit/pull/4796 was reverted using webkitbot in https://bugs.webkit.org/show_bug.cgi?id=245911, but the PR doesn't indicate that it was reverted. It would be good if a comment can be made in automated manner to indicate that.
<rdar://problem/100975735>