use ssh for git checkout now that ssh over http proxy works
use ssh for git checkout now that ssh over http proxy works