Vagrant is now in the ‘vagrant’ branch of main repo.