From e8239c7f4e1f783794f41d531d85583ac5e46fb8 Mon Sep 17 00:00:00 2001 From: Vincent Breitmoser Date: Tue, 29 Aug 2023 13:22:15 +0200 Subject: [PATCH] docs: add information about Change ID scope to glossary --- docs/glossary.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/glossary.md b/docs/glossary.md index 3406c997c..0b5f7d13e 100644 --- a/docs/glossary.md +++ b/docs/glossary.md @@ -41,6 +41,9 @@ A change ID is a unique identifier for a [change](#change). They are typically them as a sequence of 12 letters in the k-z range, at the beginning of a line. These are actually hexadecimal numbers that use "digits" z-k instead of 0-9a-f. +For the git backend, Change IDs are currently maintained only locally and not +exchanged via push/fetch operations. + ## Commit A snapshot of the files in the repository at a given point in time (technically