2 let us assume that it is not possible for new to have a version older than sid
5 Whenever pushing, check for
6 source-package-local tainted history
8 can be overridded by --deliberately except for an admin prohib taint
10 ALL of the following apply only if history is secret
12 if NEW has a version which is in our history[1]
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)
21 if NEW has no version, or a version which is not in our history[1]
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
28 [1] looking for the relevant git tag for the version number and not
29 caring what that tag looks for
34 Want some invariants or properties
36 - .dsc of published dgit package will have corresponding publicly
37 visible dgit-repo (soon)
39 - when a new package is rejected we help maintainer avoid
40 accidentally including bad objects in published dgit history
42 - .dsc of NEW dgit package has corresponding dgit-repo but not