(cherry picked from commit d8439bdc11)
d8439bdc11
this will serve as a reminder that sometimes Jenkins jobs can be missing or failing and also lists the comments which team members can use to trigger Jenkins jobs, especially for PRs from non-members. (cherry picked from commit de6419f0d1)
de6419f0d1