a839824f7a
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
|
||
---|---|---|
.. | ||
pull_request_template.md |