HomeSoftware Heritage

Vagrantfile: Drop unnecessary extra mount point

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Vagrantfile: Drop unnecessary extra mount point

It's actually not needed as the existing mount is already propagated accordingly to the
puppet setup.

Plus it's actually slowing down the initial pergamon provisioning to a bore.

Related to T3325

Details

Provenance
ardumontAuthored on May 12 2021, 4:23 PM
ardumontPushed on May 17 2021, 2:42 PM
Differential Revision
D5741: Vagrantfile: Adapt pergamon configuration
Tasks
T3325: Vagrantify puppet master

Commit No Longer Exists

This commit no longer exists in the repository.