From ffcd37a2337f7bfbaee82cf9644c15dc9a466a87 Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Thu, 26 Jan 2023 07:45:00 +0000 Subject: [PATCH] Clarifying what i mean by "basic competence with git". --- mps/procedure/pull-request-merge.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mps/procedure/pull-request-merge.rst b/mps/procedure/pull-request-merge.rst index 2ab6b47d104..587f36f21b9 100644 --- a/mps/procedure/pull-request-merge.rst +++ b/mps/procedure/pull-request-merge.rst @@ -148,8 +148,8 @@ by considering `2. Purpose`_. These steps will only rarely need repeating. -#. You need basic competence with Git: enough to understand the - commands in `the merging procedure`_. +#. You need basic competence with Git: enough to understand what the + commands in `the merging procedure`_ do. #. If the merge has conflicts, you will need competence in using Git to resolve merge conflicts.