add support for setting the SSH identity per-repo
authorRalf Jung <post@ralfj.de>
Sun, 22 Feb 2015 20:11:19 +0000 (21:11 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 22 Feb 2015 20:11:19 +0000 (21:11 +0100)
commit6843793205d96449af070b5c7b776eaf205f5ad7
tree4baff32bf3fd4258e911f8a478a8607fb25a2681
parent3316a2663f627d47f62310a754a1b03a739b6e07
add support for setting the SSH identity per-repo
git_mirror.py
ssh-set-ident.sh [new file with mode: 0644]