From 34e60e3086d37fe60ac74a19a8f3590b8ce10191 Mon Sep 17 00:00:00 2001 From: Mestery Date: Sun, 24 Oct 2021 19:26:09 +0200 Subject: [PATCH] doc: use 'GitHub Actions workflow' instead --- doc/guides/collaborator-guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/guides/collaborator-guide.md b/doc/guides/collaborator-guide.md index 50f2a1264001a2..b737ee85fbb9fa 100644 --- a/doc/guides/collaborator-guide.md +++ b/doc/guides/collaborator-guide.md @@ -185,7 +185,7 @@ delay. For example: * Regressions that happen right before a release, or reported soon after. To propose fast-tracking a pull request, apply the `fast-track` label. Then a -GitHub Action will add a comment that collaborators can upvote. +GitHub Actions workflow will add a comment that collaborators can upvote. If someone disagrees with the fast-tracking request, remove the label. Do not fast-track the pull request in that case.