Align on writing "SHA" in "allowTipSHA1InWant"

Even if git-config key names are case-insensitive, align on writing
"allowTipSHA1InWant" with upper-cased "SHA" as that is how Git upstream
[1] and Gerrit code [2] do it.


Change-Id: Ie28ceec4703e22d696a3601a0e61ad52ca121b29
diff --git a/src/main/resources/Documentation/ b/src/main/resources/Documentation/
index 3e76bdb..bcd27a9 100644
--- a/src/main/resources/Documentation/
+++ b/src/main/resources/Documentation/
@@ -74,7 +74,7 @@
 	advertisement (`uploadpack.hideRefs`). This option can be used to
 	hide the change refs from the client. As consequence fetching
 	changes by change ref does not work anymore. However by setting
-	`uploadpack.allowTipSha1InWant` to `true` fetching changes by
+	`uploadpack.allowTipSHA1InWant` to `true` fetching changes by
 	commit ID is possible. If `download.checkForHiddenChangeRefs` is
 	set to `true` the git download commands use the commit ID instead
 	of the change ref when a project is configured like this.
@@ -84,6 +84,6 @@
 		  hideRefs = refs/changes/
 		  hideRefs = refs/cache-automerge/
-		  allowTipSha1InWant = true
+		  allowTipSHA1InWant = true
 	By default `false`.