Darragh Fitzmaurice

/label peer-review-needed

/label merge-review-needed

I see a "peer-review needed" label on this PR along with merge labels. THis PR is in the peer review queue so the "peer-review-needed" label should be removed? Unless more...

/remove-label peer-review-needed /label peer-review-in-progress

Hi @shreyasiddhartha . I've added two comments inline. Not necessarily show stoppers but clarify for the one option mentioned would be clear things up. /remove-label peer-review-needed /label peer-review-done

/remove-label peer-review-in-progress

LGTM. Thanks!

/remove-label peer-review-needed /label peer-review-in-progress

/remove-label peer-review-in-progress

/label peer-review-done