gitdir: ../../.git/modules/tracks/idris