vvalgis/vagrant-babushka — pull request #8 by Val (2013-10-25 10:11:25+00:00)
Title: Use default ssh username if none

If `root_config.ssh.username` is `nil`, `local_deps_path` gets mounted in `/home/`. Default user should be used in this case.