From 285016a095437d5fff98282fb53dbea544f00aae Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Fri, 13 Jan 2023 04:43:00 +0000 Subject: [PATCH] Clarifying what to do if contributor varies licensing. --- 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 94d911a2b65..588ef165635 100644 --- a/mps/procedure/pull-request-merge.rst +++ b/mps/procedure/pull-request-merge.rst @@ -64,8 +64,8 @@ checklist, decide whether to continue with the procedure. the material to which they are contributing. (See `"Licensing" in "Contributing to the MPS" <../contributing.rst#licensing>`_.) - If they have, talk to them or get someone to talk to them about the - matter. Do not proceed. + If they have expressed a variation, talk to them or get someone to + talk to them about the matter. *Do not proceed with merging*. #. Does the branch build and pass tests on all `target platforms <../readme.txt>`_?