Proper way to finish a review

[Mike Thomsen]

When I am satisfied with a review, should I choose approve or the option to
just leave comment and ping some folks on the PMC to come see if they want
to sign off for merging?

Thanks,

Mike