gitdir: ../../.git/modules/mujoco_controllers/mujoco_menagerie
