gitdir: ../../.git/modules/agbenchmark/challenges
