[submodule "distributions"] path = distributions url = git@github.com:php/web-php-distributions.git