summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2019-07-27 07:37:46 +0100
committerSean Whitton <spwhitton@spwhitton.name>2019-07-27 07:37:46 +0100
commit52a1202279ebb2bbeb8f69e11e9f5cb0c92830d8 (patch)
tree46a344c36e51604dfefc66219312aebc06bd8039 /infra
parent8ed77cb09dc854ac3de831b3e64776f6f6528211 (diff)
parent54f54996175734cf141d4568b16fa0d06a63580f (diff)
Merge tag 'debian/9.6' into buster-bpo
dgit release 9.6 for unstable (sid) [dgit] [dgit distro=debian no-split] # gpg: Signature made Thu 25 Jul 2019 01:13:52 PM BST # gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39 # gpg: Can't check signature: No public key
Diffstat (limited to 'infra')
-rwxr-xr-xinfra/dgit-repos-server2
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 4c7e031..f94315a 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -1263,7 +1263,7 @@ END
$clogf->('Version', $version);
$clogf->('Source', $package);
- @fetch = (@dgit, qw(fetch), $suite);
+ @fetch = (@dgit, qw(--for-push fetch), $suite);
debugcmd "+",@_;
$!=0; $?=-1;
if (system @fetch) {