Infrastructure: Get mirroring right for fresh repos of existing packages (!)

[dgit.git] / infra / dgit-repos-policy-debian

diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index f20572d66314c3f999ef39f5a680c8f577eabeb8..b6310d958d1ee61273f2348181ce7a7cc2056a98 100755 (executable)
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -67,6 +67,11 @@ our %deliberately;
 # [1] looking for the relevant git tag for the version number and not
 #    caring what that tag refers to.
 #
+#    When we are doing a push to a fresh repo, any version will do: in
+#    this case, this is the first dgit upload of an existing package,
+#    and we trust that the uploader hasn't included in their git
+#    history any previous non-dgit uploads.
+#
 # A wrinkle: if we approved a push recently, we treat NEW as having
 # a version which is in our history.  This is because the package may
 # still be being uploaded.  (We record this using the timestamp of the
@@ -420,7 +425,7 @@ END
     }
 
     if (length $freshrepo) {
-       if (!good_suite_has_suitable_vsn(\&vsn_in_our_history)) {
+       if (!good_suite_has_suitable_vsn(sub { 1; })) {
            stat $freshrepo or die "$freshrepo $!";
            my $oldmode = ((stat _)[2]);
            my $oldwrites = $oldmode & 0222;