gitdir: ../../.git/modules/benchmarks/bigcodebench
