From 74202fac91ed2fe4e76e0e3a353af4028066554c Mon Sep 17 00:00:00 2001 From: Derick Rethans Date: Tue, 7 Jun 2022 09:45:11 +0100 Subject: [PATCH] Adding "git pull" to make sure local check out is in sync (I keep forgetting that) --- docs/release-process.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/release-process.md b/docs/release-process.md index bf23f5f3c8d..eb2520ec383 100644 --- a/docs/release-process.md +++ b/docs/release-process.md @@ -271,6 +271,7 @@ explained at the end of this document in `web-php`: ```sh + git pull git submodule init git submodule update cd distributions