Got it all working. So at this point, you can 'vagrant ssh' (which uses the standard Vagrant key), and the /vagrant directory is mapped to the repository root.