diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-12-12 19:55:10 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:18:24 +0000 |
commit | 691b384b2a9c582f1fa872f2a23bc6ba0b0c3381 (patch) | |
tree | 4b2affdf74c7b7729076cb0dd8c6bfa2633f5f4a | |
parent | 0c982d2aa8dbbe48a862cab9cb8ecc9067af8217 (diff) |
WIP Debian policy
Some notes in new document README.Debian-NEW
-rw-r--r-- | infra/README.Debian-NEW | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/infra/README.Debian-NEW b/infra/README.Debian-NEW new file mode 100644 index 0000000..50112bf --- /dev/null +++ b/infra/README.Debian-NEW @@ -0,0 +1,44 @@ + +let us assume that it is not possible for new to have a version older than sid + + +Whenever pushing, check for + source-package-local tainted history + global tainted history + can be overridded by --deliberately except for an admin prohib taint + +ALL of the following apply only if history is secret + +if NEW has a version which is in our history[1] + (on push only) + require explicit specification of one of + --deliberately-include-questionable-history + --deliberately-not-fast-forward + (will taint old NEW version --d-i-q-h) + (otherwise) + leave it be + +if NEW has no version, or a version which is not in our history[1] + (always) + check all suites + if any suite's version is in our history[1], publish our history + otherwise discard our history, + tainting --deliberately-include-questionable-history + +[1] looking for the relevant git tag for the version number and not + caring what that tag looks for + +====== + + +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 + |