chiark / gitweb /
infra: New script dgit-mirror-ssh-wrap
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Sep 2019 15:02:22 +0000 (16:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Sep 2019 15:46:27 +0000 (16:46 +0100)
commit31f38c5e66b193803c019c5ed394f8b26544d357
tree5702c70b04d3fa5a5c49de836a91205d948a3cce
parentc36ad3c2cb1c90bfda7ec2da3079be14ca10af6d
infra: New script dgit-mirror-ssh-wrap

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile
infra/dgit-mirror-ssh-wrap [new file with mode: 0755]