Hi,I know "repo forall -c 'echo "$REPO_PATH -- $REPO_PROJECT"' could list all projects, but just after one full "repo sync" is finished. I'm wondering if it's possible to get the same list without cloning any repository? It should be possible since it's the matter of parsing manifest, but git-repo tool doesn't offer such option.