From 57084f2bc7f88f802eb815512e74426db0fa2f3b Mon Sep 17 00:00:00 2001 From: Zac Dover Date: Tue, 12 Jul 2022 02:58:18 +1000 Subject: [PATCH] doc/dev: s/github/GitHub/ in essentials.rst This addresses a typo that Anthony D'Atri pointed out in PR#47032. It didn't get addressed there, so it's being addressed here. Signed-off-by: Zac Dover (cherry picked from commit f7581e05b08d6ab55446088b0fb9f29b1dd6441b) --- doc/dev/developer_guide/essentials.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/dev/developer_guide/essentials.rst b/doc/dev/developer_guide/essentials.rst index 3b354703bf2a0..91ae42e9cb514 100644 --- a/doc/dev/developer_guide/essentials.rst +++ b/doc/dev/developer_guide/essentials.rst @@ -307,12 +307,12 @@ The rest (including the actual backporting) will be taken care of by the Dependabot ---------- -Dependabot is a github bot that scans the dependencies in the repositories for +Dependabot is a GitHub bot that scans the dependencies in the repositories for security vulnerabilities (CVEs). If a fix is available for a discovered CVE, Dependabot creates a pull request to update the dependency. Dependabot also indicates the compatibility score of the upgrade. This score is -based on the number of CI failures that occur in other Github repositories +based on the number of CI failures that occur in other GitHub repositories where the fix was applied. With some configuration, Dependabot can perform non-security updates (for -- 2.39.5