path: root/Documentation/howto/setup-git-server-over-http.txt
diff options
authorThomas Ackermann <>2013-01-21 19:16:20 (GMT)
committerJunio C Hamano <>2013-02-01 21:53:25 (GMT)
commit48a8c26c625a4d3631c4f614bceb38933e741408 (patch)
tree97b1a550b575ecd250370cac842ecba58aa93d87 /Documentation/howto/setup-git-server-over-http.txt
parentfe73786b482f11e7a37a269c95d222a384fc5a39 (diff)
Documentation: avoid poor-man's small caps GIT
In the earlier days, we used to spell the name of the system as GIT, to simulate as if it were typeset with capital G and IT in small caps. Later we stopped doing so at around 1.6.5 days. Let's stop doing so throughout the documentation. The name to refer to the whole system (and the concept it embodies) is "Git"; the command end-users type is "git". And document this in the coding guideline. Signed-off-by: Thomas Ackermann <> Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'Documentation/howto/setup-git-server-over-http.txt')
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/howto/setup-git-server-over-http.txt b/Documentation/howto/setup-git-server-over-http.txt
index a695f01..e49d785 100644
--- a/Documentation/howto/setup-git-server-over-http.txt
+++ b/Documentation/howto/setup-git-server-over-http.txt
@@ -53,10 +53,10 @@ In effect, this means you're going to be root, or that you're using a
preconfigured WebDAV server.
-Step 1: setup a bare GIT repository
+Step 1: setup a bare Git repository
-At the time of writing, git-http-push cannot remotely create a GIT
+At the time of writing, git-http-push cannot remotely create a Git
repository. So we have to do that at the server side with git. Another
option is to generate an empty bare repository at the client and copy
it to the server with a WebDAV client (which is the only option if Git