- # check that:
- # working tree is still clean
- # DEP-14 tag refers to our HEAD, unchanged
- # New dgit tag refers to a descendant
- # New dgit tag and archive tag and .dsc hash are same
- # dgit tree can be made by
- # - dpkg-source -x on the pushed .dsc
- # - modulo .pc
- # Maintainer tree can be made by
- # - dpkg-source -x --skip-patches on the pushed .dsc
- # - deleting any auto-gitignore patch and removing it from series
- # - modulo .pc
- # dgit tree can be made by
- # - as above, and then dpkg-source --before-build
- # - modulo .pc and non-debian/ .gitignores