Rename symfony-docs-tools to symfony-tools#15276

OskarStark merged 1 commit intosymfony:4.4symfony/symfony-docs:4.4from

Nyholm:rename-toolsNyholm/symfony-docs:rename-toolsCopy head branch name to clipboard