aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/README-developers.md
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2020-02-19 16:13:02 -0500
committerEmilio Jesus Gallego Arias2020-02-19 16:13:02 -0500
commit9d427ac1c3fcb3c50623d7a95d97bb578fd381fa (patch)
tree03eb196b059b02e461211cd08f67c61c41d27607 /dev/ci/README-developers.md
parent11335618faeda5370db1ca4f453d57e9f8c396ea (diff)
parent565645526215065fa3dbc5eee3100da158f463d1 (diff)
Merge PR #11499: Clarify expectations for overlay creation
Ack-by: JasonGross Ack-by: SkySkimmer Reviewed-by: ejgallego
Diffstat (limited to 'dev/ci/README-developers.md')
-rw-r--r--dev/ci/README-developers.md7
1 files changed, 4 insertions, 3 deletions
diff --git a/dev/ci/README-developers.md b/dev/ci/README-developers.md
index 9ed7180807..6a740b9033 100644
--- a/dev/ci/README-developers.md
+++ b/dev/ci/README-developers.md
@@ -43,9 +43,10 @@ See also [`test-suite/README.md`](../../test-suite/README.md) for information ab
### Breaking changes
When your PR breaks an external project we test in our CI, you must
-prepare a patch (or ask someone to prepare a patch) to fix the
-project. There is experimental support for an improved workflow, see
-[the next section](#experimental-automatic-overlay-creation-and-building), below
+prepare a patch (or ask someone—possibly the project author—to
+prepare a patch) to fix the project. There is experimental support for
+an improved workflow, see [the next
+section](#experimental-automatic-overlay-creation-and-building), below
are the steps to manually prepare a patch:
1. Fork the external project, create a new branch, push a commit adapting