Skip to content
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.

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

docs: add note about needing to restart for global commands to be picked up #5582

Merged
merged 1 commit into from Nov 28, 2023

Conversation

joachim-n
Copy link
Contributor

The Issue

How This PR Solves The Issue

Manual Testing Instructions

Automated Testing Overview

Related Issue Link(s)

Release/Deployment Notes

@joachim-n joachim-n requested a review from a team as a code owner November 28, 2023 14:37
@joachim-n joachim-n changed the title Added note about needing to restart for global commands to be picked up. docs: add note about needing to restart for global commands to be picked up Nov 28, 2023
Copy link
Member

@rfay rfay left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. Please always make at least a tiny attempt with the PR template. Just say what the PR is about if nothing else. I know some parts are not useful for a docs PR.

@joachim-n
Copy link
Contributor Author

I went though github's UI for editing docs, which the edit link on the docs page took me to. That didn't give me any options for the PR text, just the title.

@rfay
Copy link
Member

rfay commented Nov 28, 2023

It most certainly does :) Next time you'll see it. Right now you can just edit please.

@rfay rfay merged commit d55d767 into ddev:master Nov 28, 2023
12 of 14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants