If a particular Github account is cluttering up a pull request you’re trying to review (a robot perhaps), you can mute their comments out with a quick bookmarklet. Note: this is hacky and will probably break at any momment.

 

javascript:(function() { var username=prompt("Hide comment blocks including user:"); if (username!=null && username!="") { $(".comment-header-author:contains("+username+")").parents("tr.inline-comments").hide(); } })();