diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-13 16:02:22 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-13 16:46:27 +0100 |
commit | 31f38c5e66b193803c019c5ed394f8b26544d357 (patch) | |
tree | 5702c70b04d3fa5a5c49de836a91205d948a3cce /Makefile | |
parent | c36ad3c2cb1c90bfda7ec2da3079be14ca10af6d (diff) |
infra: New script dgit-mirror-ssh-wrap
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |