I wonder how much effort it'd take to get git+ssh:// transport working with that server.