infra/README.Debian-NEW

   1
   2 let us assume that it is not possible for new to have a version older than sid
   3
   4
   5 Whenever pushing, check for
   6   source-package-local tainted history
   7   global tainted history
   8   can be overridded by --deliberately except for an admin prohib taint
   9
  10 ALL of the following apply only if history is secret
  11
  12 if NEW has a version which is in our history[1]
  13   (on push only)
  14   require explicit specification of one of
  15     --deliberately-include-questionable-history
  16     --deliberately-not-fast-forward
  17       (will taint old NEW version --d-i-q-h)
  18   (otherwise)
  19   leave it be
  20
  21 if NEW has no version, or a version which is not in our history[1]
  22   (always)
  23   check all suites
  24   if any suite's version is in our history[1], publish our history
  25   otherwise discard our history,
  26     tainting --deliberately-include-questionable-history
  27
  28 [1] looking for the relevant git tag for the version number and not
  29    caring what that tag looks for
  30
  31 ======
  32
  33
  34 Want some invariants or properties
  35
  36  - .dsc of published dgit package will have corresponding publicly
  37    visible dgit-repo (soon)
  38
  39  - when a new package is rejected we help maintainer avoid
  40    accidentally including bad objects in published dgit history
  41
  42  - .dsc of NEW dgit package has corresponding dgit-repo but not
  43    publicly readable
  44