8000 Rename symfony-docs-tools to symfony-tools by Nyholm · Pull Request #15276 · symfony/symfony-docs · GitHub
[go: up one dir, main page]
Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Apr 22, 2021
Merged

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

merged 1 commit into from
Apr 22, 2021

Conversation

Nyholm
Copy link
Member
@Nyholm Nyholm commented Apr 22, 2021

Just waiting for the actual rename.

@Nyholm Nyholm requested a review from OskarStark as a code owner April 22, 2021 10:25
@Nyholm Nyholm changed the title [WIP] Rename symfony-docs-tools to symfony-tools Rename symfony-docs-tools to symfony-tools Apr 22, 2021
@Nyholm
Copy link
Member Author
Nyholm commented Apr 22, 2021

This should be merged ASAP

@OskarStark OskarStark added this to the 4.4 milestone Apr 22, 2021
@OskarStark OskarStark changed the base branch from 5.x to 4.4 April 22, 2021 10:56
@OskarStark OskarStark requested a review from xabbuh as a code owner April 22, 2021 10:56
@OskarStark
Copy link
Contributor

Thanks Tobias.

@OskarStark OskarStark merged commit 5436c4f into symfony:4.4 Apr 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@OskarStark OskarStark Awaiting requested review from OskarStark OskarStark is a code owner

@xabbuh xabbuh Awaiting requested review from xabbuh

Assignees
No one assigned
Labels
Status: Needs Review
Projects
None yet
Milestone
4.4
Development

Successfully merging this pull request may close these issues.
3 participants
@Nyholm @OskarStark @carsonbot
0