From 126ea5871457ba4298631232cfe27136cbbade85 Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Thu, 11 Mar 2021 14:55:41 -0300 Subject: [PATCH] Complete unfinished statement --- src/git.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/git.md b/src/git.md index d9061994..e533426c 100644 --- a/src/git.md +++ b/src/git.md @@ -315,9 +315,8 @@ This is because, like any dependency, we want to be able to control which versio Submodules allow us to do just that: every submodule is "pinned" to a certain commit, which doesn't change unless modified manually. If you use `git checkout ` in the `miri` directory and go back to the `rust` directory, you can stage this -change like any -This is usually done by -the maintainers of the project, and looks like [this][miri-update]. +change like any other. This is usually done by the maintainers of the +project, and looks like [this][miri-update]. Git submodules take some time to get used to, so don't worry if it isn't perfectly clear yet. You will rarely have to use them directly and, again, you don't need