From b414f0e3d74a8d6db8f57aee2f655d3ffccb9e0f Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 8 Sep 2019 19:42:57 +0100 Subject: [PATCH] control: Change priority of dgit-infrastruture to extra Pursuant to policy upgrading checklist. Signed-off-by: Ian Jackson --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/control b/debian/control index 3edda13d..88a9925e 100644 --- a/debian/control +++ b/debian/control @@ -58,7 +58,7 @@ Depends: ${misc:Depends}, perl, git-core, gpgv, chiark-utils-bin, liblocale-gettext-perl Recommends: dgit Architecture: all -Priority: extra +Priority: optional Description: dgit server backend infrastructure This package contains tools which are useful for setting up a dgit git repository server. You probably want dgit, the client package, -- 2.30.2