From 66f1e0ce76d3a5ccc77206a04d52a43af2e79715 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Tue, 23 Mar 2021 12:14:09 -0700 Subject: add DATA.GIT-SNAPSHOT Signed-off-by: Sean Whitton --- doc/data.rst | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'doc/data.rst') diff --git a/doc/data.rst b/doc/data.rst index be2d98c..1cdea9b 100644 --- a/doc/data.rst +++ b/doc/data.rst @@ -28,7 +28,10 @@ other purposes. ``SYSTEM`` - ``("--user-passwd--HOSTNAME" . USER)`` means the data is the password for - user ``USER`` on ``HOSTNAME``. + user ``USER`` on ``HOSTNAME`` + +- ``("--git-snapshot" . NAME)`` means the data is a snapshot of a git repo + identified by ``NAME``; see ``DATA.GIT-SNAPSHOT``. (Proposed convention: Except for the first item above, these reserved names should start with ``--`` and use ``--`` to separate parameter values within -- cgit v1.2.3