diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-06-13 13:19:42 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-06-13 13:19:42 -0700 |
| commit | 813a3a2ab7b29ad003fc6b8e9b3c4b9421dd36d5 (patch) | |
| tree | a0d389c9cfd0b3a0956901d752e314e31d752e4a /Documentation | |
| parent | Merge branch 'jk/help-unknown-ref-fix' (diff) | |
| parent | update-server-info: avoid needless overwrites (diff) | |
| download | tgif-813a3a2ab7b29ad003fc6b8e9b3c4b9421dd36d5.tar.xz | |
Merge branch 'ew/update-server-info'
"git update-server-info" learned not to rewrite the file with the
same contents.
* ew/update-server-info:
update-server-info: avoid needless overwrites
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-update-server-info.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/Documentation/git-update-server-info.txt b/Documentation/git-update-server-info.txt index bd0e36492f..969bb2e15f 100644 --- a/Documentation/git-update-server-info.txt +++ b/Documentation/git-update-server-info.txt @@ -9,7 +9,7 @@ git-update-server-info - Update auxiliary info file to help dumb servers SYNOPSIS -------- [verse] -'git update-server-info' [--force] +'git update-server-info' DESCRIPTION ----------- @@ -19,15 +19,6 @@ $GIT_OBJECT_DIRECTORY/info directories to help clients discover what references and packs the server has. This command generates such auxiliary files. - -OPTIONS -------- - --f:: ---force:: - Update the info files from scratch. - - OUTPUT ------ |