From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 8 Sep 2019 18:42:57 +0000 (+0100)
Subject: control: Change priority of dgit-infrastruture to extra
X-Git-Tag: archive/debian/9.9~19
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=b414f0e3d74a8d6db8f57aee2f655d3ffccb9e0f;p=dgit.git

control: Change priority of dgit-infrastruture to extra

Pursuant to policy upgrading checklist.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

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,