/** Posts a note to set the expectation. */
protected void greet(GHPullRequest pr) throws IOException {
if (hasGreetingComment(pr)) return; // no need to do anything
System.out.println("Greeting " + pr.getRepository().getName() + "\t" + pr.getTitle());
pr.comment(
String.format(
"Thank you for a pull request! Please check [this document](%s) for how the Jenkins project handles pull requests",
LINK));
}
