diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:28:58 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:28:58 +0000 |
| commit | f46909c2a0e4b6c3e038b4ff92909060a3cc1bee (patch) | |
| tree | 3e3f29665e5dda4d8026891c17b3b7f6956050ee /infra/dgit-repos-policy-debian | |
| parent | 66ca07a7e81a379bd745647d239761087c40288c (diff) | |
Debian policy: Merge remaining relevant comments into policy script
Diffstat (limited to 'infra/dgit-repos-policy-debian')
| -rwxr-xr-x | infra/dgit-repos-policy-debian | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index d5c4d0d..8aeff67 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -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,'','', { |