[CI] Don't use special repository for symfony-tools/docs-builder#15284

Merged

javiereguiluz merged 1 commit intosymfony:4.4from

Nyholm:ci-symfony-tools-docs-builder

May 21, 2021

Commits on May 21, 2021

[CI] Dont use special reposiroty for symfony-tools/docs-builder

Nyholm
authored and
javiereguiluz
committed