gitdir: ../../../.git/modules/arcle/arcs/Mini-ARC
