Do you need the Vagrantfile in the repository? You can always keep it locally and not commit it. But all in all it's not really important, as long as we don't require vagrant to deploy badges.