From 31f38c5e66b193803c019c5ed394f8b26544d357 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 13 Sep 2019 16:02:22 +0100 Subject: infra: New script dgit-mirror-ssh-wrap Signed-off-by: Ian Jackson --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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 -- cgit v1.2.3