In Github, if a user leaves additional comments using the "Review changes" dialog, and selects the "Comments", then their approval is considered revoked. This is surprising. Selecting "Changes requested" should be considered a revoke of the approval, but just adding comments should not change the state of approval.