From cbd9ce1b900bc1ae216889d47c2767c249b44a67 Mon Sep 17 00:00:00 2001 From: Zac Dover Date: Thu, 30 Jun 2022 21:08:51 +1000 Subject: [PATCH] doc/dev: s/the the/the/ in basic-workflow.rst This PR does exactly what it says: it changes a "the the" to a "the". I'd like to thank Josh Soref for bringing this to my attention. (cherry picked from commit 326034807d58fe6569851c043f71a222f59cde5e) --- doc/dev/developer_guide/basic-workflow.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dev/developer_guide/basic-workflow.rst b/doc/dev/developer_guide/basic-workflow.rst index f64a4474037ad..eddc2fe7bb777 100644 --- a/doc/dev/developer_guide/basic-workflow.rst +++ b/doc/dev/developer_guide/basic-workflow.rst @@ -443,7 +443,7 @@ will need to force push your branch with: git push --force origin fix_1 Why do we take these extra steps instead of simply adding additional commits -the the PR? It is best practice for a PR to consist of a single commit; this +the PR? It is best practice for a PR to consist of a single commit; this makes for clean history, eases peer review of your changes, and facilitates merges. In rare circumstances it also makes it easier to cleanly revert changes. -- 2.39.5