diff options
| author | İsmail Arılık <arilik.ismail@gmail.com> | 2023-07-21 17:42:42 +0300 |
|---|---|---|
| committer | Tshepang Mbambo <tshepang@gmail.com> | 2023-07-21 16:57:54 +0200 |
| commit | 7e89cf526214fae4e007a6e7035f77ab02af4a41 (patch) | |
| tree | d36c7e9887859a36e940bef056924f4ae90e8151 /src/doc/rustc-dev-guide | |
| parent | 8631e10a7ef1079d236fe598d9c810805503ce80 (diff) | |
| download | rust-7e89cf526214fae4e007a6e7035f77ab02af4a41.tar.gz rust-7e89cf526214fae4e007a6e7035f77ab02af4a41.zip | |
fix(git.md): remove a confusing end of sentence character
It might cause a confusion since it is not end of a sentence.
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/git.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/git.md b/src/doc/rustc-dev-guide/src/git.md index ae5f2292adc..a428850a058 100644 --- a/src/doc/rustc-dev-guide/src/git.md +++ b/src/doc/rustc-dev-guide/src/git.md @@ -443,7 +443,7 @@ that merge commits in PRs are not accepted. As a result, if you are running course, this is not always true; if your merge will just be a fast-forward, like the merges that `git pull` usually performs, then no merge commit is created and you have nothing to worry about. Running `git config merge.ff only` -(this will apply the config to the local repo). +(this will apply the config to the local repo) once will ensure that all the merges you perform are of this type, so that you cannot make a mistake. |