summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-21 18:47:54 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-21 18:47:54 +0100
commit0a1c524cdd52435f931efdb078554a3bc1bf0eae (patch)
treefa013e58d4bed79a462e0d2e9a703258a5129c67 /infra
parent08c290bed320734bdcc8d9b5316ebceafe278a33 (diff)
Infrastructure: Get mirroring right for fresh repos of existing packages (!)
Diffstat (limited to 'infra')
-rwxr-xr-xinfra/dgit-repos-policy-debian7
1 files changed, 6 insertions, 1 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index f20572d..b6310d9 100755
--- 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;