1617a119db
We only need the locations of those subprojects to get their Git URL, and the state of the work directory doesn't matter.