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: v18.0.0~587^2 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=refs%2Fpull%2F46906%2Fhead;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. --- diff --git a/doc/dev/developer_guide/basic-workflow.rst b/doc/dev/developer_guide/basic-workflow.rst index 60e0ecb3f86f..9e58aebca3c4 100644 --- a/doc/dev/developer_guide/basic-workflow.rst +++ b/doc/dev/developer_guide/basic-workflow.rst @@ -444,7 +444,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.