repo init -u https://github.com/seL4/sel4test-manifest.git --no-clone-bundle --depth=1 repo sync --jobs=8 --fetch-submodules --current-branch --no-clone-bundle