diff options
| author | Marius Bakke <marius@gnu.org> | 2021-10-14 00:24:01 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2021-10-14 00:24:34 +0200 |
| commit | 5fafb6e792c1e18ec223f0c7fb350d0c9b962a45 (patch) | |
| tree | 4728563333c3526c4ba1d6a1afc4432266877dbc | |
| parent | f8b10932c86cf4c1657a67e8c484d76f757b64bd (diff) | |
| download | guix-5fafb6e792c1e18ec223f0c7fb350d0c9b962a45.tar guix-5fafb6e792c1e18ec223f0c7fb350d0c9b962a45.tar.gz | |
doc: Fix typo.
* doc/contributing.texi (Configuring Git): s/respository/repository/
| -rw-r--r-- | doc/contributing.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index 21caa9c08f..76ab913b0d 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -1223,7 +1223,7 @@ When a bug is resolved, please close the thread by sending an email to If you have not done so already, you may wish to set a name and email that will be associated with your commits (@pxref{telling git your name, , Telling Git your name, git, Git User Manual}). If you wish to use a -different name or email just for commits in this respository, you can +different name or email just for commits in this repository, you can use @command{git config --local}, or edit @file{.git/config} in the repository instead of @file{~/.gitconfig}. |