From 326034807d58fe6569851c043f71a222f59cde5e 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. --- 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 60e0ecb3f86..9e58aebca3c 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.