
<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div>Hi,<br></div><div><br></div><div>I've written a Greasemonkey script to hide bot comments (Jenkins, automation, etc) on the review pages:</div><div><a href="https://gist.github.com/mkolesni/abaedba07d820df6352c">https://gist.github.com/mkolesni/abaedba07d820df6352c</a><br data-mce-bogus="1"></div><div><br></div><div>It adds a button "Hide automatic comments" in the comments section menu.<br></div><div><br></div><div>There's also an AUTO_HIDE option so that the bot comments are hidden automatically when the review page loads.<br></div><div>I've set it to true, but you can disable it if you don't need it.<br></div><div><br></div><div>Enjoy! (And if there's bugs, fix them ;))<br></div><div><br></div><div><span name="x"></span>Regards,<br>Mike<span name="x"></span><br></div><div><br></div></div></body></html>