dgit-repos-server: Document forthcoming --cron option

diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 9d6edb8f7191facb9d221a9968b1057794ec934c..baaf99197198a603b3ecddd101d16bd1f8eb5e56 100755 (executable)
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -4,6 +4,8 @@
 # usages:
 #  .../dgit-repos-server DISTRO SUITES KEYRING-AUTH-SPEC \
 #      DGIT-REPOS-DIR POLICY-HOOK-SCRIPT --ssh
+#  .../dgit-repos-server DISTRO SUITES KEYRING-AUTH-SPEC \
+#      DGIT-REPOS-DIR POLICY-HOOK-SCRIPT --cron
 # internal usage:
 #  .../dgit-repos-server --pre-receive-hook PACKAGE
 #
@@ -135,6 +137,11 @@ use strict;
 #
 # policy hook for a particular package will be invoked only once at
 # a time - (see comments about DGIT-REPOS-DIR, above)
+#
+# check-list and check-package are invoked via the --cron option.
+# First, without any locking, check-list is called.  It should produce
+# a list of package names.  Then check-package will be invoked for
+# each named package, in each case after taking an appropriate lock.
 
 
 use POSIX;