Public pull mirrors of the GitHub repositories named by each patch-layer .gitmodules path=upstream entry.