Skip to content

Commit

Permalink
doc: update Collaborator guide to reflect GitHub web UI update
Browse files Browse the repository at this point in the history
PR-URL: #40456
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Michael Dawson <midawson@redhat.com>
  • Loading branch information
aduh95 authored and targos committed Nov 4, 2021
1 parent 06706e8 commit 934dcc8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/guides/collaborator-guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -242,8 +242,8 @@ files also qualify as affecting the `node` binary:
</details>

If there are GitHub Actions CI failures unrelated to the change in the pull
request, try "Re-run all jobs". It's under the "🔄 Re-run jobs" button, on the
right-hand side of "Checks" tab.
request, try the "🔄 Re-run all jobs" button, on the right-hand side of the
"Checks" tab.

If there are Jenkins CI failures unrelated to the change in the pull request,
try "Resume Build". It is in the left navigation of the relevant
Expand Down

0 comments on commit 934dcc8

Please sign in to comment.