Ping for PR reviews

@gchen: The old 3.0.1 thread doesn’t allow replies anymore, so I had to create a new one to ping on updates to PR reviews.

2 Likes

Ping…though I need 20 characters for padding.

1 Like