diff options
Diffstat (limited to 'infra')
-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 + |