paul now has git mirror and the ssh-wrapper