What are the general guidelines when it comes to pinging someone on a PR? Understandably things slip through the cracks, but I don't want to annoy anyone with a "any update" ping over and over