From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/git/git-update-server-info.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/git/git-update-server-info.html (limited to 'devdocs/git/git-update-server-info.html') diff --git a/devdocs/git/git-update-server-info.html b/devdocs/git/git-update-server-info.html deleted file mode 100644 index 1584a29b..00000000 --- a/devdocs/git/git-update-server-info.html +++ /dev/null @@ -1,6 +0,0 @@ -

git-update-server-info

Name

git-update-server-info - Update auxiliary info file to help dumb servers

Synopsis

git update-server-info [-f | --force]

Description

A dumb server that does not do on-the-fly pack generations must have some auxiliary information files in $GIT_DIR/info and $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

Currently the command updates the following files. Please see gitrepository-layout[5] for a description of what they are for:

  • objects/info/packs

  • info/refs

-

- © 2012–2024 Scott Chacon and others
Licensed under the MIT License.
- https://git-scm.com/docs/git-update-server-info -

-
-- cgit v1.2.3