summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-27 00:39:48 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-29 01:11:09 +0000
commit9bc32097449d245c677149d71c25b7bb72e61799 (patch)
treea304fd20060639831f8de13c7a97cb9a647417b9
parent21dd219d932c200ee4ffc5e7e25aafa177c11113 (diff)
policy-client-query: Declare that Debian supports this
This commit should be published in a dgit release after the corresponding server side code is deployed. Closes: #944855 Closes: #1027186 Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xdgit1
1 files changed, 1 insertions, 0 deletions
diff --git a/dgit b/dgit
index 2154065..4eed74c 100755
--- a/dgit
+++ b/dgit
@@ -770,6 +770,7 @@ our %defcfg = ('dgit.default.distro' => 'debian',
'dgit-distro.debian.git-check-suffix' => '/info/refs',
'dgit-distro.debian.new-private-pushers' => 't',
'dgit-distro.debian.source-only-uploads' => 'not-wholly-new',
+ 'dgit-distro.debian.policy-query-supported-ssh' => 'true',
'dgit-distro.debian/push.git-url' => '',
'dgit-distro.debian/push.git-host' => 'push.dgit.debian.org',
'dgit-distro.debian/push.git-user-force' => 'dgit',