gitdir: ../../.git/modules/lib/micropython-lib
