gitdir: ../../../.git/modules/third_party/minini/minini
