From: Zac Dover Date: Thu, 30 Jun 2022 11:08:51 +0000 (+1000) Subject: doc/dev: s/the the/the/ in basic-workflow.rst X-Git-Tag: v17.2.4~222^2 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=cbd9ce1b900bc1ae216889d47c2767c249b44a67;p=ceph.git 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) --- diff --git a/doc/dev/developer_guide/basic-workflow.rst b/doc/dev/developer_guide/basic-workflow.rst index f64a4474037..eddc2fe7bb7 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.