summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2019-09-16 15:31:50 -0700
committerSean Whitton <spwhitton@spwhitton.name>2019-09-16 15:31:50 -0700
commitb773eefd1773bc2195f87f03721c89f7efb498f3 (patch)
treeb5e6e444b9f0786132a8f798bd6141878521cf7d /Makefile
parent1045e26443f21378d6fb98a46ace40c0d883cea6 (diff)
parent896c94474922bc2698474c5ba57321fa61504238 (diff)
Merge tag 'debian/9.9' into buster-bpo
dgit release 9.9 for unstable (sid) [dgit] [dgit distro=debian no-split] # gpg: Signature made Sat 14 Sep 2019 01:35:57 PM MST # gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39 # gpg: Can't check signature: No public key
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c4f1673..87cff8b 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ GDR_MAN5PAGES=git-debrebase.5
GDP_PROGRAMS=git-debpush
GDP_MAN1PAGES=git-debpush.1
-INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch \
+INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch dgit-mirror-ssh-wrap \
dgit-repos-policy-debian dgit-repos-admin-debian \
dgit-repos-policy-trusting dgit-mirror-rsync
INFRA_EXAMPLES=get-dm-txt ssh-wrap drs-cron-wrap get-suites