summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2024-04-11 22:38:30 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2024-04-11 23:50:20 +0100
commitbcfeb4763d9b0641b07b236f5ccb7c646dbcb056 (patch)
tree334c7cae00643c207801be25589f5626da3be032
parent76370a044df031ffa3db282755dc4599e9e8a0a2 (diff)
dgit-infrastructure: Use --trust-changelog in tag2upload
And add a version to the Recommends dgit. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rw-r--r--debian/control2
-rwxr-xr-xinfra/dgit-repos-server2
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index 4a0f611..fd72431 100644
--- a/debian/control
+++ b/debian/control
@@ -60,7 +60,7 @@ Depends: ${misc:Depends}, perl, git-core, gpgv, chiark-utils-bin,
libjson-perl, libdigest-sha-perl, libdbd-sqlite3-perl, sqlite3,
libdpkg-perl,
liblocale-gettext-perl
-Recommends: dgit
+Recommends: dgit (>= 11.7~)
Architecture: all
Description: dgit server backend infrastructure
This package contains tools which are useful for setting up a dgit
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 20a15a2..9c7e36d 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -1310,7 +1310,7 @@ END
push @dgitcmd, "--upstream-commitish=refs/tags/$upstreamt";
}
}
- push @dgitcmd, qw(push-source --new --overwrite), $suite;
+ push @dgitcmd, qw(push-source --new --trust-changelog), $suite;
runcmd @dgitcmd;