[PATCH] doc: define timestamp in pack protocol grammar

["Heath Dutton🕴️ via GitGitGadget" <gitgitgadget@gmail.com>]

From: =?UTF-8?q?Heath=20Dutton=F0=9F=95=B4=EF=B8=8F?=
 <heathdutton@gmail.com>

The grammar for depth-request uses 'timestamp' but never defines it,
unlike 'depth' which is properly defined as '1*DIGIT'. Add the missing
definition.

Signed-off-by: Heath Dutton <heathdutton@gmail.com>
---
    doc: define timestamp in pack protocol grammar
    
    Fixes https://git.issues.gerritcodereview.com/issues/40000018

Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-git-2154%2Fheathdutton%2Fhd%2Fdoc-protocol-timestamp-40000018-v1
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-git-2154/heathdutton/hd/doc-protocol-timestamp-40000018-v1
Pull-Request: https://github.com/git/git/pull/2154

 Documentation/gitprotocol-pack.adoc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Documentation/gitprotocol-pack.adoc b/Documentation/gitprotocol-pack.adoc
index 837b691c89..7ad63322c2 100644
--- a/Documentation/gitprotocol-pack.adoc
+++ b/Documentation/gitprotocol-pack.adoc
@@ -273,6 +273,7 @@ out of what the server said it could do with the first 'want' line.
   additional-want   =  PKT-LINE("want" SP obj-id)
 
   depth             =  1*DIGIT
+  timestamp         =  1*DIGIT
 
   filter-request    =  PKT-LINE("filter" SP filter-spec)
 ----

base-commit: 68cb7f9e92a5d8e9824f5b52ac3d0a9d8f653dbe
-- 
gitgitgadget