chiark / gitweb /
Debian policy: Merge remaining relevant comments into policy script
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:28:58 +0000 (15:28 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:28:58 +0000 (15:28 +0000)
infra/README.Debian-NEW [deleted file]
infra/dgit-repos-policy-debian

diff --git a/infra/README.Debian-NEW b/infra/README.Debian-NEW
deleted file mode 100644 (file)
index da7fd59..0000000
+++ /dev/null
@@ -1,35 +0,0 @@
-
-======
-
-policy hooks:
-
- - cron check thing
-     implement `(always)' above
- - in dispatch, on check or push, during package selection
-     implement `(always)' above
-
- - in dgit-repos-server, run policy hook after parsing tag
-      but before ff check; passing policy hook the deliberatelies
-      policy hook may:
-        - if appropriate blow away existing repo, copy old taints and add taints
-        - check taints
-        - fail if unused deliberatelies
-        - indicate to parent whether to disregard ff check
-        - remove taints which were overridden
-
-on push encode --deliberately in tag as lines
-  [dgit --deliberately-blah]
-
-======
-
-Want some invariants or properties
-
- - .dsc of published dgit package will have corresponding publicly
-   visible dgit-repo (soon)
-
- - when a new package is rejected we help maintainer avoid
-   accidentally including bad objects in published dgit history
-
- - .dsc of NEW dgit package has corresponding dgit-repo but not
-   publicly readable
-
index d5c4d0db84636949b5d42c8cb4dac61f5a14fbc7..8aeff676fcc203e3f2a19464fa6bdacc515a3fca 100755 (executable)
@@ -60,6 +60,16 @@ our %deliberately;
 # still be being uploaded.  (We record this using the timestamp of the
 # package's git repo directory.)
 
+# We aim for the following invariants and properties:
+#
+# - .dsc of published dgit package will have corresponding publicly
+#   visible dgit-repo (soon)
+#
+# - when a new package is rejected we help maintainer avoid
+#   accidentally including bad objects in published dgit history
+#
+# - .dsc of NEW dgit package has corresponding dgit-repo but not
+#   publicly readable
 
 sub poldb_setup () {
     $poldbh ||= DBI->connect($policydb,'','', {