If you review a PR and it’s good, please use the Git Hub review feature to say so instead
of just leaving a comment. That makes the fact that someone has approved it visible at a
glance in the PR queue which is nice and saves opening the issue and scrolling through
comments, CI run reports etc.
When you look at the files of the PR, e.g. , in the top right there is the green
“Review Changes” button. Click it, select Approve, add a comment if you like, and hit
Manager, Senior Principal Software Engineer
JBoss by Red Hat