chiark / gitweb /
Debian policy: Merge remaining relevant comments into policy script
[dgit.git] / infra / dgit-repos-policy-debian
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,'','', {